úÎu, Safe-InferedNone 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.4Test.Framework.TH.PrimeTest.Framework.TH.Prime.ParserDocTestsdefaultMainGeneratorsymbolstring unitPropTests