Rename type parameters x -> a
Fix a type annotation for num-identity