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. :-) _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
