Intended to be used as an argument for some type constructor which expects kind
* -> Constraint
, when you do not actually wish to constrain anything with it.
Trivial
t
can always be added to the constraint list of any signature, without
changing anything.