拟态函数a a-> a？

Question

我正在寻找具有此签名的目录功能：

fct :: Either a a -> a

解开左右相同类型的一个...

Answer 1

Data.Morphism.Cata可以生成'either，但具有更通用的形式：

'either :: ((a -> c) -> (b -> c) -> Either a b -> c)

实际上，这很普遍，that it's in base as well。在这种情况下：

fct = either id id