Exercise 4.5 a)
I am not sure what is ment with exercise 4.5 a). That's why I have to questions about this exercise:
- Should we use monadic predicates (as described in the description of exercise 4.5) or should we use the existing type set? Or should we model a "really new" datatype for sets?
- What is ment with: " Let a type A be given". Should we assume something like: "typedecl A" or is A just the polymorphic type 'a?