Applicative instance from Monoidal instance - Haskell

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


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


got it

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...