let
copy (s:t) = s