Casimir
Casimir is an effects library for supporting modular effects in Haskell. It gives a universal interpretation of effects both from the point of view of MTL type classes (final encoding) and algebraic effects (initial encoding), allowing different styles of effect interpretation to be used. Casimir also generalizes the understanding of higher order effects by parameterizing effects over different lift types that correspond to MonadTrans and MonadTransControl.