Li-Fan Chen
says to
YSITD
一個 Type 是 Set -> Set -> Set