Deakstadieđáhus: Data structures with abstract data