Reducible

intermediate

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