本編はてなブログの記事「蒸し返し： アドホック多相 vs パラメトリック多相」の表だけ抜き出したもの。同じ表のHackMDによるレンダリングは https://hackmd.io/@m-hiyama/B1ZmURi3F 。 Haskell風 圏論風 A, B, ..., X, Y Z R f:X → Y または f:1 → [X, Y] f…