idris-0.9.19: test/interactive009/expected

IsSetCons pf prfRec