fact: Definition addCallbacks (res : Result) (cs : list Callback) : Result := match res with | MkResult o e r i s cs' t => MkResult o e r i s (cs ++ cs') t end.
imports: String List RoseTrees Show State Producer Generators Classes DependentClasses