[Haskell-cafe] IO typeclasses