A Categorical View of Computational Effects - Tech Talk