SE-0341: Opaque Parameter Declarations

+1. I don't have anything to add to the discussion except for my comment on "Light-weight same-type requirement syntax" pitch.