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

[Silent Leaf]

I'm very interested in your definition of (->) based on the idea of
implication?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160429/a85a5932/attachment.html>