X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowShow.hs;fp=examples%2FGArrowShow.hs;h=39695d6dea25b7259813145dd386d724d0d6497c;hp=0000000000000000000000000000000000000000;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=2f22f2f26622f85e457060de3a5c534004a26e79

diff --git a/examples/GArrowShow.hs b/examples/GArrowShow.hs
new file mode 100644
index 0000000..39695d6
--- /dev/null
+++ b/examples/GArrowShow.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE FunctionalDependencies, NoMonomorphismRestriction, MultiParamTypeClasses #-}
+module GArrowShow(GArrowShow) where
+import Control.GArrow
+
+class GArrow g (**) u => GArrowShow g (**) u where
+  ga_show :: g x y -> String