Definition list_signature: signature_simple := make_signature_simple [ (nil ,, list_sort_idx) ; ( [elem_sort_idx ; list_sort_idx] ,, list_sort_idx ) ]%list.
Require Import UniMath.MoreFoundations.Notations. Require Import UniMath.Combinatorics.StandardFiniteSets. Require Import UniMath.Combinatorics.MoreLists. Require Import UniMath.Algebra.Universal.Algebras. Require Import UniMath.Algebra.Universal.Terms.