examples/GArrowInclusion.hs

   1 {-# LANGUAGE FunctionalDependencies, NoMonomorphismRestriction, MultiParamTypeClasses #-}
   2 module GArrowInclusion(GArrowInclusion(ga_inc)) where
   3 import Control.GArrow
   4
   5 class GArrow g (**) u => GArrowInclusion g (**) u g' where
   6   ga_inc :: g' x y -> g x y