Refactoring method names in HListCodec