On Sat, 8 Jan 2011, Conor McBride wrote: > On 8 Jan 2011, at 11:14, Henning Thielemann wrote: > >> For me, the solutions of Dave Menendez make most sense: Generalize Maybe to >> Foldable and List to MonadPlus. > > What has it to do with monads? There's no bind in sight. I see a '>>=' in front of each of his expressions.