{-# language MultiParamTypeClasses,
             UndecidableInstances,
             QuantifiedConstraints,
             ConstraintKinds,
             FlexibleInstances,
             KindSignatures,
             PolyKinds #-}
module Data.Constraints where

import GHC.Exts (Constraint)

class    (c => d) => Implies c d
instance (c => d) => Implies c d

class    Trivial c
instance Trivial c