For some reason, I've always preferred OCaml's style of generics notation: (T, (int, long) U, int W) S

I'm pretty sure I'm in the minority with that opinion though.