blob: 3c3fa9aba56a039b7ae19cd179bd998fbe24a6d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# 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
|
