Am Freitag, 13. März 2009 05:09 schrieb Denis Bueno: > This works because every monad induces an Applicative instance in a > way I've ingested just enough wine to forget. =] pure = return (<*>) = ap Best wishes, Wolfgang