[ADD] monads Maybe, Indentity and Continuaton