Hi Michael, I can suggest Hamlet does not support pattern matching like: *$forall ((orderKey, order), (offerKey, offer), mbFeedback) <- results* * * It would be extremely convenient to have this functionality . Maybe there is another simple way to walk through list like [(a,b,c)] in Hamlet ? Thanks. -- Best regards, Cheshkov Anton Phone: +7 909 005 18 82 Skype: cheshkov_anton