Bluefin compared to effectful [video]

[arybczak]

@osa1

I suspect this is probably not possible with the type system features of GHC today

It’s actually fine, with ConstraintKinds you can write type AppE es = (Effect1 :> es, Effect2 :> es, Effect3 :> es) and then use AppE es in relevant contexts.