add free Monad