Does `ExplicitSelf` really need to contain the pattern?