Syntax: constructor match within data declaration