-{-# OPTIONS -XModalTypes -XMultiParamTypeClasses #-}
+{-# OPTIONS -XModalTypes -XMultiParamTypeClasses -XKindSignatures #-}
module GHC.HetMet.CodeTypes (
hetmet_brak,
hetmet_esc,
import Prelude (Integer, String, Char, Bool, error)
import GHC.HetMet.GArrow
-hetmet_brak :: forall c. forall a. a -> <[a]>@c
+hetmet_brak :: forall (c :: * -> * -> *). forall a. a -> <[a]>@c
hetmet_brak = Prelude.error "hetmet_brak should never be evaluated; did you forget to compile with -fcoqpass?"
-hetmet_esc :: forall c. forall a. <[a]>@c -> a
+hetmet_esc :: forall (c :: * -> * -> *). forall a. <[a]>@c -> a
hetmet_esc = Prelude.error "hetmet_esc should never be evaluated; did you forget to compile with -fcoqpass?"
-hetmet_csp :: forall c. forall a. a -> a
+hetmet_csp :: forall (c :: * -> * -> *). forall a. a -> a
hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget to compile with -fcoqpass?"
{-