blob: 5ab651fe0b89b7b9a0dce8f5e6aa61aaaf4f3506 (
plain)
1
2
3
4
5
6
7
8
9
|
T13895.hs:11:14: error:
• Illegal constraint in a kind: forall k. Typeable k => k -> *
• In the type signature:
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)
|