{-# LANGUAGE KindSignatures , FlexibleInstances #-} module Data.Constraint.Unit where class Unit (x :: *) instance Unit a