Remove unused type class parameter.
Add an implementation of maps over nat.