Karn Kallio wrote: >> You can't really treat kind-polymorphic >> constructors as first-class. >> > What!! But Ur/Web is a project of IMPREDICATIVE.com !! > > [ This is joking :) ] > Yup, you have impredicative polymorphism in constructors, but not kinds. :-)