+{-# OPTIONS -XRankNTypes -XMultiParamTypeClasses -XNoMonomorphismRestriction -XTypeOperators -XFlexibleInstances -XFunctionalDependencies #-}
+-----------------------------------------------------------------------------
+-- |
+-- Module : GHC.HetMet.GArrowInstances
+-- Copyright : none
+-- License : public domain
+--
+-- Maintainer : Adam Megacz <megacz@acm.org>
+-- Stability : experimental
+-- Portability : portable
+
+module GHC.HetMet.GArrowInstances (
+) where
+import Control.Category
+import GHC.HetMet.GArrow
+
+-- Various GArrow instances which may confuse the instance-inference
+-- mechanism if imported wholesale
+
+
+-- If a GArrow offers constants, then Haskell literals can be used to
+-- accomplish a GArrowLiteral implementation (the converse is not
+-- true!)
+--instance GArrowConstant g (**) u r t => GArrowLiteral g (**) u r t where
+-- ga_literal = ga_constant
+
+