@hackage typelevel1.0.4

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