Regarding Effekt, here's an interactive introduction on how to use its effect system: https://effekt-lang.org/tour/effects

Other pages also contain some more advanced details and casestudies on effect handling

Koka, Effekt and 4 other research languages are mentioned earlier in the article though? This talks about practical languages, not research-only