Compose effects into a single Effect.
Map effect of type A to Effect of B using f.
Create an empty Effect.