Type checking ./TestTypeclasses.idr
Typeclasses are documented