=>
- : (U Integer String)"foo"eval:5:0: Type Checker: type mismatch expected: Nonnegative-Integer given: Negative-Fixnum in: -1
- : (U Integer String)
"foo"
eval:5:0: Type Checker: type mismatch
expected: Nonnegative-Integer
given: Negative-Fixnum
in: -1