Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A HyperType
to express the simplest plain form of a nested higher-kinded data structure.
The value level hyperfunctions
equivalent of Pure
is called self
in
Hyperfunctions papers.
Documentation
A HyperType
to express the simplest plain form of a nested higher-kinded data structure