Bifoldable

intermediate

Data types

Module Data types

Hierarchy

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