let
copy (_, i, iosh) = ((), i,
Inthash
.copy iosh)