Query monad has come.