-are easy to make and add. However, there are also a few downsides. The
-expressions created with this language are not type-safe. In the given language
-it is possible an expression such as \CI{Plus (LitI 4) (LitB True)} which to
-add a boolean to an integer. Evermore so, extending the \gls{ADT} is easy and
-convenient but extending the views accordingly is tedious and has to be done
-individually for all views.
-
-The first downside of the type of \gls{EDSL} can be overcome by using
-\glspl{GADT}\cite{cheney_first-class_2003}. Listing~\ref{lst:exdeepgadt} shows
-the same language, but type-safe with a \gls{GADT}\footnote{\glspl{GADT} are
-not supported in the current version of \gls{Clean} and therefore the syntax is
-artificial. However, \glspl{GADT} can be simulated using bimaps}. Unfortunately
-the lack of extendability stays a problem. If a language construct is added no
-compile time guarantee is given that all views support it.
+are easy to add. To the downside, the expressions created with this language
+are not type-safe. In the given language it is possible to create an expression
+such as \CI{Plus (LitI 4) (LitB True)} that adds a a boolean to an integer.
+Evermore so, extending the \gls{ADT} is easy and convenient but extending the
+views accordingly is tedious and has to be done individually for all views.