dimensional-1.0.1.1: Statically checked physical dimensions, using Type Families and Data Kinds.
Index - .