GHC supports type functions in the form of type families.
Categories: Proposals | Type-level programming