HaskellはIOモナドを使えるので 626809">命令的Haskellプログラミングが可能になっているのだが，その代償としてプログラム全体の型は自明なIO ()に潰れてしまう．プログラム全体の型が潰れないような仕組みを考えたのが ell.org/package/oi">oiパッケージ．…