# MappingPackage1 AΒΆ

- A: SetCategory

various Currying operations.

- ^: (A -> A, NonNegativeInteger) -> A -> A
`f^n`

is the function which is the`n`

-fold application of`f`

.

- coerce: A -> () -> A
`coerce A`

changes its argument into a nullary function.

- id: A -> A
`id x`

is`x`

.

- nullary: A -> () -> A
`nullary A`

changes its argument into a nullary function.

- recur: (NonNegativeInteger, A) -> A -> (NonNegativeInteger, A) -> A
`recur(g)`

is the function`h`

such that`h(n, x)= g(n, g(n-1, ..g(1, x)..))`

.