Data.Constraint.Unit

class Unit x