> You can't really treat kind-polymorphic > constructors as first-class.
What!! But Ur/Web is a project of IMPREDICATIVE.com !! [ This is joking :) ] _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
