membrain (hackage): membrain provides newtype wrapper for type-safe work with memory units  This data type stores memory unit value phantom type parameter which is represented as type-level natural number. The ideas behind this package are described in the following blog post:  Insane in the Membrain
Keywords: library|memory|mpl|safe|haskell|measure|type-level-programming|units