data A = B deriving ()

main :: IO ()
main = return ()