heh this is sort of like in Haskell taking a

a -> IO String

function and splitting it up into two function,

a -> B

and

B -> IO String

, where

B

is a novel type

types man