Data.Functor.Representable.Trie.Either
data
EitherTrie
f g a
left
right