idris-0.9.15: test/interactive006/input

:ref 2 foo_rhs1 plus