Experimenting with record type definition.