Done some of FileIO.hs