> Aside, I agree on the List monad thing. I never ever use the list monad, why would I. I use monad library functions on lists happily, and use the do-notation

> Aside, I agree on the List monad thing. I never ever use the list monad, why would I. I use monad library functions on lists happily, and use the do-notation, particularly when I'm thinking in terms of non-deterministic computation and search.