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