System F and Gouryella