Sum package:fused-effects

Operations on sums, combining effects into a signature.
Reassociate a right-nested sum leftwards.