Data types with higher-rank kinds are pretty-printed strangely
First observed in #13399 (closed)##13409 (closed). If you define this:
data Foo :: (* -> *) -> (forall k. k -> *)
:i Foo into GHCi, you get this back:
type role Foo phantom nominal phantom data Foo (a :: * -> *) k (c :: k)
This seems to imply that Foo has three visible type parameters, which isn't true at all!
|Component||Compiler (Type checker)|
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information