unique003.idr:18:5:Type mismatch between
        Int -> String
and
        UniqueType (Int -> String)