let
cop_of s = s.cop