A canonical record constructor that omits its parameter list and receives implicit component parameters.