Understanding Algebraic Effect Handlers: Homomorphisms

Does LaTeX work?

$$E = mc^2$$

Yes! (it should at least)