[Haskell-cafe] Applicative banana brackets

Kim-Ee Yeoh ky3 at atamo.com
Mon Dec 14 14:53:42 UTC 2015


On Mon, Dec 14, 2015 at 9:38 PM, martin <monkleyon at googlemail.com> wrote:

2) Every arrow a b c is an applicative (a b) c, because comma = (&&&).
> Conversely, every applicative that is polymorphic over some "internal"
> variable is automatically an arrow, through (&&&) = comma.
>

Where is the proof that (a b) is a Functor?

Recall that the class method arr -- the closest kin to fmap -- has the type:

(b -> c) -> a b c.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151214/e2202451/attachment.html>


More information about the Haskell-Cafe mailing list