Achim Schneider wrote: > The > other might be implementation issues: it makes pattern match rules > more complex. But only marginally, right? f A B = biz f B = bar f = bam could be trivially rewritten to: f A B = biz f B y = bar y f x y = bam x y Martijn.