Sometimes it's helpful to have a function: ```haskell isEnabled :: Extension -> Set OnOffExtension -> Bool ``` That checks whether there's `On` for the particular given extension. Does it sound useful? For now, I propose not to think about the fact that some extensions can imply other extensions, this is another whole story..