Li-Fan Chen
says to
YSITD
其中 a 跟 b 就是被 generic 的 type