sebastiaanvisser

-- * Introducing type variables in class constraint, using ConstraintKinds.
-- * (Using ghc-7.6.3)

{-# LANGUAGE ConstraintKinds, GADTs, TypeFamilies #-}
module ConstraintCategory where

import GHC.Exts (Constraint)

-- Version of Category that can put constraints on the i/o of the category.