fact: Definition mapRoseResult {P : Type} {_ : Checkable P} (f : Rose Result -> Rose Result) (prop : P) : Checker := mapProp (fun p => match p with MkProp t => MkProp (f t) end) prop.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses