Combining effects: sum and tensor (submitted (0)

by M Hyland, G D Plotkin, A J Power