-- | Type-level Constraint
--
-- Use it with `ConstraintKinds` LANGUAGE pragma
module Haskus.Utils.Types.Constraint
   ( Constraint
   )
where

import GHC.Exts (Constraint)