aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/Parens/context-forall-kind-signature.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}

module ContextForallKindSignature where

import Data.Kind (Type)

type S = () => forall a. a :: Type