Are you saying you want all code that could potentially leak a buffer (through a bug in this class or in e.g. ByteString) to be protected against leaks?