structure Request where user : String action : String resource : String deriving DecidableEq, Repr structure Rule where equivalent : Request → Bool outcome : Decision abbrev Policy := List Rule