\chapter{Case Study with GADTs}
\label{chapt.case-study}

%let thesis = True
%include gadt-paper.lhs


%if False

TODO!!
Add a section to state which features this caste study shows that are currently not yet
supported, and write in what chapters these features are covered.
Also, reference in the introduction to this section.
I.e. backtracking (next section)
I.e. non-syntax directedness (mainly the section on iterative AGs)

%endif