oops
removed type parameter from Z.NaturalHom