LMonad.Label.PowerSet

data PSLabel p

psSingleton

psConfidentialitySingleton

psIntegritySingleton

type PSLabeled p