Use path-dependant Nat type instead of type parameter.