          Datatypes.Coq_nil (LntT.Id_pfc Datatypes.O)) (Datatypes.Coq_pair
        (Datatypes.Coq_cons (LntT.Var Datatypes.O) Datatypes.Coq_nil) (Datatypes.Coq_cons
        (LntT.Var Datatypes.O) Datatypes.Coq_nil)))))

seq :: Datatypes.Coq_list
       (Datatypes.Coq_prod
       (Datatypes.Coq_prod (Datatypes.Coq_list (LntT.PropF Datatypes.Coq_nat))
       (Datatypes.Coq_list (LntT.PropF Datatypes.Coq_nat))) LntT.Coq_dir)
seq =
  Datatypes.Coq_cons (Datatypes.Coq_pair (Datatypes.Coq_pair (Datatypes.Coq_cons (LntT.Var
    Datatypes.O) Datatypes.Coq_nil) (Datatypes.Coq_cons (LntT.Var Datatypes.O)
    Datatypes.Coq_nil)) LntT.Coq_fwd) Datatypes.Coq_nil

example2 :: DdT.Coq_derrec
