>>682
計算可能性と圏論がそんなに関係あるとは思えん。
強モナドを使って数学的になにか導出できるものなのか？

反変はcontravariantだな。