Li-Fan Chen
says to
YSITD
你可以說他是 R -> R ∪ {undefined} 的函數