Type functions
From HaskellWiki
Type functions in Haskell are supported in a number of ways.
Todo: fill this out.
1 Type functions and type classes
Todo
2 Type functions and functional dependencies
Todo
3 Type functions and associated types
Details of the new support for type functions is available here
