fv monad