あれ、いつの間にか圏論の話？
てっきりweilをフォローするのかと思ってたけど。
次の目標はなんですか？