idris-1.3.3: test/interactive009/expected.out

(IsSetCons pf prfRec)