system module cheat

//i :: !b -> a

uniqueCopy :: !*a -> (!*a, !*a)