-{-# OPTIONS -XRankNTypes -XMultiParamTypeClasses -XNoMonomorphismRestriction -XTypeOperators -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
-
-