@hackage typelevel1.0.2

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