Monads and IO

Will be up soon