Control.SafeAccess

data Capability m d

type Capabilities m d

data AccessDecision

data SafeAccessT d m a

class MonadSafeAccess d m s

ensureAccess

unsecureAllow

singleCapability

someCapabilities

passthroughCapability

liftExceptT

liftCapability