Renamed (~>) to Nat, so we can steal it. For Hom or Exp