圏に圏を対応させる関数や関手にも、その入力と出力があります。であるなら、通常の関数同様にプロファイル（入出力の仕様）を書けます。幾つかの具体例に対して、実際のプロファイルを書いてみましょう。明示的にプロファイルを書くことは、オーバーロード…