(******************************************************************************)
Generalizable All Variables.
-Require Import Preamble.
-Require Import General.
+Require Import Notations.
(* very handy *)
(*
| a::b => a -> listOfTypesToType b ret
end.
*)
-
+(*
Section Algebras.
Local Notation "a :: b" := (vec_cons a b).
*)
End Algebras.
-
+*)