idris-0.9.14.2: test/unique001/unique001d.idr

steal : {a : UniqueType} -> Borrowed a -> a
steal (Read x) = x