monad products (for use until the transformers monad instances on products show up)