first attempt at :++:
sum of bifuctors compiles!!
checkpoint for rolling back some type restrictions