simplistic-generics-0.1.0.0: src/Data/Constraints.hs

{-# 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