restricted _subsets_ of algebraic datatypes
restricted _subsets_ of algebraic datatypes

Co-authored-by: Pavel Avgustinov <44032acbab8e7a2f79f8a4ab381e4b85e1d7db3e@users.noreply.github.com>
github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql