如何使用Data Kinds + Phantom類型對Haskell中的單元進行編碼? [英]How to use Data Kinds + Phantom types to encode units in Haskell?