まだバグがあるが改良版。 module EnglishRule7 where import Test.QuickCheck import Control.Monad import Data.List -- data type Name = String data Rule = Word [String] | Rule [[String]] deriving (Eq, Show) type Grammar = [(String, Rule)] simp…