Answers to typeclassopedia exercises