Dimensional library variant build on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).