[Haskell-beginners] Trying to prove Applicative is superclass of Functor, etc

Back to the list