My solutions to typeclassopedia