blob: 1e4d6a1b64d49f1cc487cbc0170f7c4ea1b03678 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeFamilies #-}
module T12785a where
import Data.Kind (Type)
foo :: forall (dk :: Type) (c :: Type -> Type) (t :: dk -> Type) (a :: Type).
(dk ~ Type)
=> (forall (d :: dk). c (t d)) -> Maybe (c a)
foo _ = Nothing
|