Data.Constraint.Unsafe

evil

derive

underive

Sugar

applicative

alternative