The record constructor whose parameter types correspond in order to every component in the record header.