knobs
An existential resource. Equivalent to the (Haskell-style) type exists r. Resource r ⇒ r
exists r. Resource r ⇒ r
An existential resource. Equivalent to the (Haskell-style) type
exists r. Resource r ⇒ r