Still need to finish: IO, Either, State and Reader