programming language where there are exactly two types
@typeswitch https://github.com/maxsnew/modal-scheme
a Schelling point for those who seek one
