tupleTupleIdentity

(a -> b) -> ((a, c) -> (b, c))

tupleTupleIdentity
(
B
F
)
(
F f
)

Meta