import Nil import Cons main = (return ()) :: IO ()