recordTypeFromKey :: Key record -> record
recordTypeFromKey _ = error "recordTypeFromKey"
recordTypeFromKey :: Key record -> record
recordTypeFromKey _ = error "recordTypeFromKey"
recordTypeFromKey _ = error "recordTypeFromKey"