idris-0.9.13: test/idrisdoc004/TestTypeclasses.idr
module TestTypeclasses ||| This is a test ||| ||| @ a Test arg class Test a where ||| Test function test : a -> Int
module TestTypeclasses ||| This is a test ||| ||| @ a Test arg class Test a where ||| Test function test : a -> Int