.. applicative Type bifunctor fold foldable fromLeft fromRight functor isLeft isRight lefts mapBoth mapLeft mapRight monad partition rights terms.dhall traversable