-- | module Constraint ( -- * Re-exports module Data.Constraint , module Data.Constraint.Forall ) where import Data.Constraint import Data.Constraint.Forall