On 04/01/2015 09:27 AM, Jeremy Yallop wrote:
> There's a more detailed explanation of the technique in the lecture
> notes on the following page:
> 
>    http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html
> 
> The section you want is
> 
>     8.4.2 Pattern: building GADT values
> 
> on p83 of the notes from 9 February, but it might also be helpful to
> look through some of the earlier notes for background.

Thank you!