Control.SafeAccess

ensureAccess

data Capability d

type Capabilities d

data AccessDecision

data SafeAccessT d m a

class MonadSafeAccess d m

liftExceptT