Alexis King

In a perfect world, I think `ReadableHashTable` would be the supertype (and we could just call it `HashTable`), and `ImmutableHashTable` and `MutableHashTable` would be subtypes. You'd get flat contracts with...

Please read the documentation for those primops before using them—using them with arbitrary `IO` code is not safe.

> I believe `bracket` is well-behaved wrt `control0#` No, it is not. A version of `bracket` that was designed to support delimited continuations would act like Scheme’s `dynamic-wind`, which the...

> So when `action` is executed, it'll just not work at all, because after the first branch finishes, the effect is no longer there. Yes, this strategy just doesn’t work...