Efficient composite pattern finding from monad patterns. (27th December 2006)