Function liftA

g: ((a) => ((b) => C))

• • (a): ((b) => C)

  • Parameters

    • a: A

    Returns ((b) => C)

    • • (b): C

      • Parameters

        • b: B

        Returns C

f1: Form<A>

f2: Form<B>

g: ((a) => ((b) => ((c) => D)))

• • (a): ((b) => ((c) => D))

  • Parameters

    • a: A

    Returns ((b) => ((c) => D))

    • • (b): ((c) => D)

      • Parameters

        • b: B

        Returns ((c) => D)

        • • (c): D

          • Parameters

            • c: C

            Returns D

f1: Form<A>

f2: Form<B>

f3: Form<C>

g: ((a) => ((b) => ((c) => ((d) => E))))

• • (a): ((b) => ((c) => ((d) => E)))

  • Parameters

    • a: A

    Returns ((b) => ((c) => ((d) => E)))

    • • (b): ((c) => ((d) => E))

      • Parameters

        • b: B

        Returns ((c) => ((d) => E))

        • • (c): ((d) => E)

          • Parameters

            • c: C

            Returns ((d) => E)

            • • (d): E

              • Parameters

                • d: D

                Returns E

f1: Form<A>

f2: Form<B>

f3: Form<C>

f4: Form<D>