Typeclasses are documented