Typeclasses are documented
