fact: Definition VariantResolve (C : Type -> Type) (r : variant) : Type := fold_right (fun p acc => ProductResolve C p * acc)%type unit r.
imports: List String ExtLib.Structures.CoMonad ExtLib.Programming.Show ExtLib.Data.Monads.IdentityMonad ExtLib.Structures.Monads