fact: Definition conjoin (l : list Checker) : Checker := bindGen (mapGen (liftM unProp) l) (fun rs => (returnGen (MkProp (let res := conjAux (fun x => x) rs in let '(MkRose r _) := res in res )))).
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses