Li-Fan Chen says to YSITD
人腦的 type checking