kmizu.hatenablog.com を読み返していて、これ、 val add: (Double, Int) => Double = O.add で行けるんだから、そもそも_が要らなくて O.add:((Double, Int) => Int) でいけるのでは？と思って書いてみたら動いたという話です。要はメソッド型の式（O.addは…