(this is just one example of where by having marke...

# language-proposals

[mikehearn]

(this is just one example of where by having marker interfaces that extend others, you can encode the result of runtime checks in the type system)