encodeSingletonHList

HListInstances

encodeSized

SizedInstances

encodeSymbolRecordCons

RecordInstances