type-operators-0.2.0.0: Various type-level operators

A set of type-level operators meant to be helpful, e.g. ($), a tightly binding (->), and the multi-constraint operator (Show + [a, b]).