The same variable shouldn't be bound: - twice in the same pattern - in two patterns in a function definition or lambda expression Anywhere else?
