You need to implement a function that can print all variants of etype
by recursing into each value. You also need a helper function for printing basicType
values, bot it does not need to be recursive but instead act as the base case in your recursion.
Both of them need one function body for each variant of the respective datatype. The body handling the functionType
would also need to apply the function.
You should also think about addnig some extra string output in each function body to make it possible for the reader to distinguish between the different types.
The tupelType
could for example be printed something like this: (a, b)
where a
and b
are recursive calls into each of the tuple elements.