expected

unique002.idr:15:5:Unique name xs is used more than once
unique002a.idr:15:5:Type mismatch between
        Int -> String
and
        UniqueType (Int -> String)