これが圏論だっていうコードを見れば
分かるようになるかも。