[mempko]

That's the thing though, each similar problem is subtly different. Those differences can matter and the language should allow you to model them.