Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
The spine-view on types.
Documentation
[qK|...|]
is the a type that takes one parameter of the corresponding
kind. (The name is an encoding of that parameter's kind based on prefix
notation for application.)