aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-instance-kind-signature.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE KindSignatures #-}
module ForallInstanceWithKindSignature where
class C a
instance forall (a :: *). C a where