TraversableMonad<F> constructor

TraversableMonad<F>()