more work with IO. Starting to implement  in haskell