https://9dok.net/document/y96jdxll-type-safe-feature-oriented-product-lines.html