Generates the boilerplate for an interface that describes a side effect: its provider interface, and a module with a function creating an effect for each of its members, with Effect.Create.

Generates a create function for an interface that only inherits provider interfaces, implementing every provider from an anonymous record of effects, and run and runOrFail functions that run an effect in the created environment.

Generates a runner for an interface that inherits IProvide for each effect it provides: a record type implementing the provider interfaces of those effects, and a runner computation expression that assembles an environment from them.