Generalization of return values of monads
Monadization of View.View