Olen kahteen otteeseen koittanut kirjoittaa Ocamlilla monadista koodia. Toinen on osoitteessa http://sange.fi/~atehwa/omlib/ ja tähtää yleisyyteen, toinen taas on b5-kielen uudelleentoteutusta varten tekemäni http://sange.fi/~atehwa/bcinq/parser.ml ja näyttää toimivan kohtalaisen hyvin. Monadisissa parsereissa on mukavaa, kun saapi tehdä niistä niin monimutkaisia kuin huvittaa ilman, että kukaan tulee valittamaan...
Olen kirjoitellut pikku hiljaa artikkelia monadisesta ohjelmoinnista, mutta valitettavasti se on aika vaiheessa.