Here, I have implemented a Nat(positive integers) data type and Sign(for all integers) datatype in Haskell and I have implemented their Plus functions respectively, which ar
