idris RPN: bad input, not enough operations errors