あ、推論できないではなく、型推論してもその型で使えるfunc ~=がない場合かな。