Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), Professor at Uni Tübingen. types.pl/@effects