path: root/testsuite/tests/dependent/should_compile/T11241.hs

{-# LANGUAGE ExplicitForAll, KindSignatures, PartialTypeSignatures #-}

module T11241 where

foo :: forall (a :: _) . a -> a
foo = id