Marc Weber wrote:
What about kind polymorphic type level functions?
The compiler doesn't really do first-class kind polymorphism at the moment. I also don't think it's a crucial feature, so I don't have plans to add it.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
