With an ADT you can enforce strict separation of algebra & interpretation (D. Ghosh)…