Should we add a HasMask capability to complement HasThrow, and HasCatch, similar to MonadMask?
If so, what would the meaning of the tag be? Should it only select a layer in a transformer stack (if applicable), or should it decide which exceptions to mask? The latter seems to contradict the purpose of bracket.
Should we add a
HasMaskcapability to complementHasThrow, andHasCatch, similar toMonadMask?If so, what would the meaning of the tag be? Should it only select a layer in a transformer stack (if applicable), or should it decide which exceptions to mask? The latter seems to contradict the purpose of
bracket.See https://github.com/tweag/capabilities-via/pull/25#discussion_r210516388.
cc @aspiwack