:PROPERTIES: :ID: fd1e50ac-0953-4358-af67-11b1d220d886 :mtime: 20230920101937 20230919151222 :ctime: 20230919151202 :END: #+title: make illegal states unrepresentable #+filetags: :project:public: "make illegal states unrepresentable" is a maxim in functional programming which means that we must always ensure our code is correct.