Fluid a Monad