You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is it possible to implement a function: toEffWithExtraTop :: Handling esSend anything es => Eff (e : esSend) ~> Eff (e : es)? Since there's toEff for converting from Eff esSend ~> Eff es, it seems like this should work somehow, but I can't figure out how to get things to line up the right way.
The text was updated successfully, but these errors were encountered:
Is it possible to implement a function:
toEffWithExtraTop :: Handling esSend anything es => Eff (e : esSend) ~> Eff (e : es)
? Since there'stoEff
for converting fromEff esSend ~> Eff es
, it seems like this should work somehow, but I can't figure out how to get things to line up the right way.The text was updated successfully, but these errors were encountered: