let copy (s:t) = s