Re: Wadler (was RE: Monads)