I will give the remainder of my talk from last week, starting with a brief recap of effectful categories before discussing a generalisation of the Pastro-Street double monad to this setting. I expect this will only take around 30mins.