haskell scala 関数型プログラミング free monad