My Typeclassopedia solutions My solutions for the Typeclassopedia. 3-Functor-2-Instances 3-Functor-3-Laws 4-Applicative-2-Laws 4-Applicative-3-Instances