A <type synonym> is a name for an existing type expression, introduced with `type`, for example `type Name = String`. It improves documentation and makes type signatures easier to maintain. It creates \b[no new distinct type]: a synonym and its expansion remain interchangeable. An <algebraic data type> declared with `data` or `newtype` has a different role.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Functional programming, design and analysis of algorithms (resit) / 4 / a / Solution

 Solution (source code)