fact: Fixpoint cConstructorType (rep : Type) (dom : list Type) := match dom with | nil => rep | cons d dom' => d -> cConstructorType rep dom' end.
imports: Fiat.Common Fiat.Computation Fiat.ADT.ADTSig Fiat.ADT Coq.Sets.Ensembles