type-combinators-0.2.0.0: A collection of data types for type-level programming
Type.Family.Symbol
module GHC.TypeLits