My solutions for the Typeclassopedia.