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.