Recipe.Monad
val return : 'a -> 'a recipe
val bind : 'a recipe -> ('a -> 'b recipe) -> 'b recipe
val (>>=) : 'a recipe -> ('a -> 'b recipe) -> 'b recipe
val (>>) : 'a recipe -> 'b recipe -> 'b recipe