data D2 where
  MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
  	-- Defined at <interactive>:3:1
data D3 where
  MkD3 :: (forall k1 (p :: k1 -> *) (a :: k1). p a -> Int) -> D3
  	-- Defined at <interactive>:4:1