fixable record and instance for nat