What is Algebraic about Algebraic Effects?

Compositionality can be much more than just an interface between two objects or functions. It can be a set of laws.