base: Add examples to Bifunctor documentation