gitlab-ci: Move hadrian-ghc-in-ghci job first
[ghc.git] / testsuite / tests / typecheck / should_compile / T12785a.hs
1 {-# LANGUAGE RankNTypes #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE TypeFamilies #-}
4 module T12785a where
5
6 import Data.Kind (Type)
7
8 foo :: forall (dk :: Type) (c :: Type -> Type) (t :: dk -> Type) (a :: Type).
9 (dk ~ Type)
10 => (forall (d :: dk). c (t d)) -> Maybe (c a)
11 foo _ = Nothing