@hackage membrain0.0.0.2

membrain provides newtype wrapper for type-safe work with memory units

newtype Memory (mem :: Nat) = Memory
    { unMemory :: Natural
    }

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