類型論ってやつ調べたら筋肉マッチョで行動的なやつが最強って書かれてた