{-# LANGUAGE GADTs #-}
module Utils.Constraint where

-- * Type 'Proof'
-- | Term-level proof of a 'Constraint'.
data Proof c where
	Proof :: c => Proof c