FreeMonad<F> constructor

FreeMonad<F>()