type-operators-0.1.0.0: Various type-level operators

A set of type-level operators meant to be helpful and make typing less of a chore.