Reference Counting with Linear Types

[qqwy]

@atravers

But if the use of Counter could be considered “pure from the outside” then IO a isn’t needed - ST s a and runST would be enough.

Not even ST would be required!