Add Monad instance for `((,) a)` (#10190)