foo :: Int -> String -> IO ()
foo x y = do
    print x
    return 42