system module cheat

i :: !b -> a

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