Would anyone care to share their solution to exercise 3.3.1 in
Typeclassopedia
?
Thanks,
-db