Li-Fan Chen says to YSITD
應該說我從一開始就很討厭這種函數的 annotation