Flix polymorphic effects

[atagunov]

@H2CO3

I'd be curious how much locality the code would lose though

I edited later.. my idea was to suppress effects "pass-through" at fn signature level; so code locality should not suffer.

@H2CO3

I've barely seen anything else in the wild, other than exception handling, that would in practice benefit from tracking effects, and at that point it feels like we're trying to solve a problem that we shouldn't even have had

Just to clarify you're saying Result is generally sufficient and exceptions can be avoided, right?