supermonad
supermonad copied to clipboard
A plugin for GHC to support super monads.
it would be great if this package supported GHC-9.4.2 and/or 9.2.4.
Hi I have a version of a reactive framework that works ok with different kinds of effects/indexed-like monads. This is based on [1]. I'm trying to make some things work...
The following code demonstrates the issue: https://github.com/jbracker/supermonad/blob/master/examples/applicative/bankers/MainMinimalBug.hs
The instances already exists for unconstrained supermonads.