haskell - 自然变换 `forall a. m a -> (Identity ⊕ m) a` 的好名字是什么？

Question

我发现自己用签名写了一堆函数

a -> Either longComplicatedType (m longComplicatedType)

所以我决定我需要一个别名

type SomeAlias m a = Either a (m a)

使其成为仿函数的自然变换 m , 同构于 forall a. m a -> (Identity ⊕ m) a .

起初我很想把它命名为 MaybeN或 MaybeF ，因为它要么使用了仿函数 m或者什么都没有。但是 Maybe a同构于 1 ⊕ a , 和 Identity isn't the terminal object in the category of endofunctors, Proxy is ，所以 MaybeN f a应该是 Either (Proxy a) (f a) .
forall a. m a -> (Identity ⊕ m) a 是否有现有名称？我可以从别的地方偷东西吗？如果没有，还有比 IdentityOr 更优雅的名字吗？ ?

Answer 1

这似乎与 InR 同构来自 Data.Functor.Sum 与 f = Identity和 g = m :

data Sum f g a = InL (f a) | InR (g a)

有 quite a bit of bikeshedding然而，当图书馆委员会选择这些名字时；你可能会在那里找到一些其他的选择。