Ambition: A Universal Introduction to Effect Systems - View it on GitHub