常规（WIP） 用于在Haskell中表示常规语言（确定性有限自动机，非确定性有限自动机，正则表达式等）的类型安全形式主义。 例子 这是Dizz FizzBu​​zz的一个小示例： -- A DFA which accepts numbers (as a string of digits) only when -- they are evenly divisible by 5. by5 ∷ DFA Bool Fin ₁₀ by5 = DFA δ q₀ f where -- The