Li-Fan Chen
says to
YSITD
我覺得比較好的解法是 Existional Type