We introduce the notion of "effectoid" as a way of axiomatising
the notion of "computational effect". Guided by classical
algebra, we define several effectoids equationally and explore
their relationship with each other. We demonstrate their
computational relevance by applying them to global exceptions,
partiality, continuations, and global state.