お前が圏論理解してかつ大規模ソフトウェア開発で失敗したら反証になるじゃん
がんばれ