Add uncommon functors

[expede]

• [x] Bifunctor
• [ ] Multifunctor
• [ ] Contravariant
• [x] Comonad
• [ ] Plus
• [ ] Alt
• [ ] Alternative
• [ ] MonadPlus
• [ ] RecursiveChain

Foldable ----> Traversable <--- Functor ------> Alt ---------> Plus           Semigroupoid
     |               |            |                              |                  |
     v               v            v                              v                  v
Foldable1 ---> Traversable1     Apply --------> Applicative -> Alternative      Category
                                  |               |              |                  |
                                  v               v              v                  v
                                Bind ---------> Monad -------> MonadPlus          Arrow

(☝️ from the Haskell semigroupoids lib)

(☝️ from the the Fantasy Land spec)