Maintainer	(@) sagemuej $ smail.uni-koeln.de
Safe Haskell	Safe-Inferred

Data.Constraint.Trivial

Description

Synopsis

Documentation

class Unconstrained t Source

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.

Unconstrained t can always be added to the constraint list of any signature, without changing anything.

Instances

Unconstrained t