Control.Proxy.Trans.Either
EitherP
data
EitherP
e p a' a b' b m r
runEitherK
Either operations
left
right
Symmetric monad
throw
catch
handle