Applicative instance from Monoidal instance - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Bolt

How can I write an Applicative instance if I have a Monoidal instance?

Bolt

got it https://stackoverflow.com/questions/41400846/applicative-functors-as-monoidal-functors

As mentioned in Hackage for Applicative Functors, they are strong lax monoidal functors. So why doesn't their definition in Haskell show it like so : class Functor f => MonoidalApplicative f wh...