圏論でプログラミング仕様を表現できることを発見したバカのせいで…