Add implementation which directly merge QueryJoin monads.
Update example.