圏論やりながらHaskellやっているのって主にどこの大学でやっているんですか？
それともみんな個人レベルで圏論とHaskellをやっているんですかね・・・