Factory for programs.
program_effects