scheme
LIST =class

type                      
massiv==empty|cons(size:Int<->AddElem,body:Massiv),Elem=Int,Massiv

variable  
l:massiv:=AddElem(0,empty)




end