


Why do we allow for arbitrary number of properties to be attached to a
pattern, in such a way that they may even be incompatible? Isn't it
like making a variable both a float and an int?
