úÎi„None    None Type for "doc_test". &Generating defaultMain with a list of Test from "doc_test",  "case_<somthing>", and "prop_<somthing>".      test-framework-th-prime-0.0.6Test.Framework.TH.PrimeTest.Framework.TH.Prime.ParserDocTestsdefaultMainGeneratorsymbolstring unitPropTeststoCasetoProptoTestgetTests parseTest isFunBind isPatBind fromPatBind fromFunBind isDefineddocTestKeyworddocTests