functionTupleIdentity

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

functionTupleIdentity
(
F
)
(
F f
)

Meta