Why define Notation for pairs and then not use it?<p>Instead of using match/with/true/false, you can use if/then/else.<p>Verlang looks great. Will have to try it out.<p>Strange that Verlang generates uncurried functions. I know that's not the default in Erlang, but as you found out, it breaks extraction.