idris-0.9.14.2: test/unique003/expected

unique003.idr:18:5:Can't convert
        [94mInt[0m -> [94mString[0m
with
        UniqueType ([94mInt[0m -> [94mString[0m)