>>273-274
haskellとかだと、コンパイルリンクした時点で、
実行時に呼び出される関数が確定してるって意味でしょ
たとえ自分で宣言したモナド型であってもね