Monad<F> constructor

Monad<F>()