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