we have Bifunctor and Bifoldable with polykinds, b...
# arrow
p
we have Bifunctor and Bifoldable with polykinds, but not Biapplicative that I know