norename class elist{A} inherit list{A}

noncreation

    map{B}(f: fun1{A, B}): list{B} := []

    fold(g: fun2{A, A, A}, id: A): A := id

    le(other: list{A}, el_le: fun2{A, A, bool}): bool := true

    private nge(ohead: A, otail: list{A}, el_le: fun2{A, A, bool}): bool
      := false

end
