Combining effects: sum and tensor

by Martin Hyland, Gordon Plotkin, John Power