withLambdaChairPolicy :: DBAction a -> DC a
withLambdaChairPolicy act = withPolicyModule $
  \(LambdaChairPolicyTCB _) -> act
withLambdaChairPolicy :: DBAction a -> DC a
withLambdaChairPolicy act = withPolicyModule $
  \(LambdaChairPolicyTCB _) -> act
withLambdaChairPolicy act = withPolicyModule $
  \(LambdaChairPolicyTCB _) -> act