@hackage typelevel1.2.2

Useful type level operations (type families and related operators).