Freee on Monad (FreeeMonad)