16 Mar
2011
16 Mar
'11
8:05 a.m.
You could define a function:
withContainer ∷ (∀ s. Container s → α) → α
which creates a container, parameterizes it with an 's' that is only scoped over the continuation and applies the continuation to the created container.
Hmm, yes. That will work, but I wonder if there's some way of doing this that doesn't limit the scope of the container to one single span of code...