expected

Type checking ./docs001.idr
Type class C
    class

Parameters:
    t   -- a type

Methods:
    m : C t => t
        member of class
        
Instances:
    C A
        instance of class
    C (D a b)
        another instance of class
        a   -- parameter type