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