mother or all monads continuation implementation