[Haskell-cafe] Re: Re: monad subexpressions

Sebastian Sylvan wrote:

I'd also like to reiterate my request for a notation that doesn't require brackets around the *action* but will also work by applying it to a function which when fully applied to its argument returns an action (i.e.: $foo x y + $bar z w, rather than $(foo x y) + $(bar z w)). Function application is normally very low-noise in Haskell (good), and it would be nice if we can keep it low-noise in this notation too.

I'm trying to understand your suggestion. Can you tell me how you'd sugar the following? getA :: Friggle MyA getB :: Friggle MyB foo :: Int -> MyB -> Friggle MyC do a <- getA b <- getB a foo 42 b -- Chris Smith