couple exercises from typeclassopedia