idris-1.3.3: test/interactive011/expected.out

    show x = ?Show_rhs_1
    showPrec d x = ?Show_rhs_2
append [] _ = ?append_rhs_1