Haskellで求められているのって圏論じゃなくて
どっちかというとカリー・ハワード同型対応とかじゃない。
結局、数理論理学やりたいんでしょ。