Monads de ordem superior e baixo custo
