Wouter Swierstra. Defines a simple technique to extend data types & operations over them. This paper is the foundation of our syntax representation.