Bifoldable

intermediate

Data types

Module Data types

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

Type Class Hierarchy