Я часто использую классы типов из библиотек и свои собственные в своем коде Purescript.Кажется, что каждый закон о типах обеспечивает хороший тест.В настоящее время я пишу тесты индивидуально для каждого класса и закона.Есть ли способ частично автоматизировать это?Может быть, что-то вроде quickcheck-classes на Haskell, чего я, по общему признанию, не пробовал.