aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/PolyKinds/paren-kind-forall.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE PolyKinds, TypeApplications, ExplicitForAll #-}

module ParenKindForall where

import Data.Proxy

class C a where c :: proxy a -> Integer

f :: forall k (a :: k). C a => Integer
f = c (Proxy @a)