[FORK] Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). - View it on GitHub