Fixed your shit some more.

The `'a` bound for Q might be unnecessary. I didn't try removing yet it.