<div dir="ltr">Hi!<br><br>I'm not too familiar with the particular implementation in Eff1.hs but when working with highly polymorphic Haskell code in general (like here, where you want your actions to be polymorphic over the effect stack), it's a good idea to write out everything in a file with type signatures present, so that you're 100% about what is happening, and there isn't some weird type defaulting/type families getting stuck business going on.<br><br>For other implementations you can take a look at freer-simple, polysemy, fused-effects, eff.<br><br>=======<br>Georgi</div>