refine monad test