blob: 4abcab8c1816f57fe9b3c626ebe4dbd6e95b455b (
plain)
1
2
3
4
5
6
7
|
type D2 :: *
data D2
= forall k. MkD2 (forall (p :: k -> *) (a :: k). p a -> Int)
-- Defined at <interactive>:3:1
type D3 :: *
data D3 = MkD3 (forall k (p :: k -> *) (a :: k). p a -> Int)
-- Defined at <interactive>:4:1
|