Una libreria per ADT