syntax sugar (if expressions, pattern matching, guards) cannot be used
either, leading to more verbose notation as well.
\item Polymorphism and higher order values are not supported within the
syntax sugar (if expressions, pattern matching, guards) cannot be used
either, leading to more verbose notation as well.
\item Polymorphism and higher order values are not supported within the