idris-0.9.20.1: test/interactive011/expected

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