can i stack implicit types somehow?

Question

near the top of a .v file, I currently have something like

Implicit Types N: T1.
Implicit Types V: T2.
Implicit Types O: T3.
.....

this might