blob: 5897cd814963f6317a9f4ba2b68f6aee675e6b9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
module T13895 where
import Data.Data (Data, Typeable)
import Data.Kind
dataCast1 :: forall (a :: Type).
Data a
=> forall (c :: Type -> Type)
(t :: forall (k :: Type). Typeable k => k -> Type).
Typeable t
=> (forall d. Data d => c (t d))
-> Maybe (c a)
dataCast1 _ = undefined
|
