>>773
型理論を知らない雑魚ちゃんは黙って