{-# OPTIONS_GHC -Wno-missing-export-lists #-}
-- | Contains useful constraints and constraint combinators for type-level
-- metaprogramming.
module Montis.Constraints where

-- | A null constraint. All types implement this.
class Unconstrained a

instance Unconstrained a

-- | Combines multiple constraints by 'And'ing them together.
class (c1 a, c2 a) => (&&&&) c1 c2 a

instance (c1 a, c2 a) => (&&&&) c1 c2 a