"In matching, Constructors without arguments should be sugar for `Constructor ()`