:: Natural -> Nat package:algebra