What happens if we always use `matchesPatternStatically` instead of `matchesPattern`? Can we regain the existentialAbstraction without the warts by using BoundedWildcardTypes instead of the unbounded variety? I'm weary of duplicating this method.