tag :: algebraic data type

• 代數資料型態
• 頭尾成對
• 是的！不是！
• 未定義是值嗎？
• 算術的編碼
• 真的未定義？
• 可以不要 let 嗎？
• 簡單是非