idris-0.9.18: test/idrisdoc004/expected

Typeclasses are documented