Li-Fan Chen says to YSITD
到底為什麼要在 type 裡面放 namespace