>>763
若干型推論が弱い…kwsk