Added strict mode to monads
Experimenting with IO monad