All,<br>Wadler posted a blog entry the other day about a paper on pattern-matching in Haskell (<a href="http://wadler.blogspot.com/">http://wadler.blogspot.com/</a>). I&#39;ve taken a first stab at turning it into actual code for hackage (<a href="http://hpaste.org/13215">http://hpaste.org/13215</a>). There are two commented-out definitions that don&#39;t type-check, though, and the types are too wild for me to grok. Anybody have any suggestions for 1.) How to fix it and/or 2.) How to use data/type/newtype to simplify the types and make it more manageable? Thanks!<br>