1 2 3 4 5 6
data D where C :: (Int -> a) -> Char -> D -- Defined at ghci030.hs:8:6 data D where C :: (Int -> a) -> Char -> D -- Defined at ghci030.hs:8:21