With an ADT you can enforce strict separation of algebra & interpretation

(D. Ghosh)