<X> (S) -> (X) -> () と <Self where Self : P> (Self) -> (Int) -> () を比較して後者を選んでるぽいね。