3 ms·
All functions in Haskell are pure: the function `putStrLn :: String -> IO ()` returns the same IO action for the given input.
by endgame 5y ago
All functions in Haskell are pure: the function `putStrLn :: String -> IO ()` returns the same IO action for the given input.
- kreetx 5y agoBut you don't need to annotate that, i.e `putStrLn :: Pure (String -> IO ())` (or as in the OP lisp: `Pure (-> String (IO ()))`)