so if you have Monad<ForEither> flatMap retu...
# arrow
p
so if you have Monad<ForEither> flatMap returns Kind, but if you use EitherMonad it returns Either