Remove unnecessary curried types

[singla-shivam]

There are some functions which has unnecessary curried types

e.g function add has following types

type Add_2 = (b: number) => number

type Add_1 = (a: number) => number

type Add =
  & ((a: number, b?: PH) => Add_2)
  & ((a: PH, b: number) => Add_1)
  & ((a: number, b: number) => number)

Here, add takes two args of same type. Thus, calling add like add(3) or add(3, _) or add(_, 3) are equivalent. So we can remove such types from the definition. So final type will be-

type Add_2 = (b: number) => number

type Add =
  & ((a: number) => Add_2)
  & ((a: number, b: number) => number)