Bifoldable

TODO. Meanwhile you can find a short description in the intro to typeclasses.