{-| A (total) set of access rights; See chmod(5) for an explanation of the flags. For a partial set of of access rights see `Access`. -} { execute : Bool, read : Bool, write : Bool }