prettyprinting record types and values
compile warning: unused identifier