add PlainFunctor, PlainMonad, Unbiased0Monoid