[gmfawcett]

It never occurred to me that there were similarities between DCGs and monads, but that's an interesting argument. Thank you for this!