categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard
verified publisher icon con-kitty

add explicit functor from Hask to target category

Open zliu41 opened this issue 3 years ago • 2 comments

allows us to have distinct existential and product types, for example

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-1672)

zliu41 avatar Apr 15 '22 16:04 zliu41

Greg Pfeil January 9, 2021, 3:54 PM IIRC, when I poked at this before, what I really wanted for the implementation was partially-applied type families, which I think are actually coming Real Soon Now?

zliu41 avatar Apr 15 '22 16:04 zliu41

I don't think unsaturated tyfams are ever coming :(

isovector avatar Sep 23 '22 23:09 isovector