Abstract type: Difference between revisions