fcf-composite (hackage): Type-level computation for composite using first-class-families.
Keywords: composite|library|mit|types