Master thesis by Olek Wolska:
Towards Modular Language Semantics of WebDSL: A Case Study of Using Algebraic Effects in Haskell for Language Specification
"We adapt the algebraic effects and handlers approach [...] to create a modular denotational semantics model of WebDSL [...] that allows us to distinguish between effects raised by different components of the language."
https://repository.tudelft.nl/record/uuid:47aba90c-b45d-477b-90c0-462e111efdb1
Master thesis by Ivan Todorov: Modal μ-Calculus for Free
"we present [...] a way of modelling sequential effectful programs, such that the resulting models can be directly translated into runnable programs, thereby guaranteeing the models' accuracy. We achieve this by using algebraic effects, in order to model sequential effectful programs as instances of the coinductive free monad"
I guess this ties into effect handling and #algebraicEffects ? 
Not sure how the types would look or what conversions would be coherent though...
