idris-0.9.18: test/unique003/expected

unique003.idr:18:5:Can't convert
        Int -> String
with
        UniqueType (Int -> String)