Inexpressible States: The History and Usage of Algebraic Data Typesmakonea.com1 point·jdw64··0 commentsOpen articleSaveView on HN