Record and class simple example redefinition of _defaultOf.
Slightly complicated record _defaultOf redefinitions.