Of cause `shared inout const U` will work. Less parenthesis is better?