Starting work on new monads : Either, Identity, Lazy