Control.SafeAccess

ensureAccess

data Capability d

type Capabilities d

data AccessDecision

data SafeAccessT d m a

class AccessDescriptor d

class MonadSafeAccess m d

liftErrorT