eitherFunctionIdentity

(a -> b) -> (a|b -> b)

eitherFunctionIdentity
(
F
)
(
F f
)

Meta