> The map example with toplevel pattern matching is really just sugar for the expanded case statements which isn't that far from the Ur equivalent And both the

> The map example with toplevel pattern matching is really just sugar for the expanded case statements which isn't that far from the Ur equivalent And both the Ur and the Haskell are really just sugar for a load of machine code. The reason I prefer the more compact Haskell version is that it allows me to express what I mean more precisely; other things being equal, a more compact notation will be higher-level and thus closer to how humans think.