How Haskell models IO (www.gilmi.xyz)