explain sums + too-simple approach to recursive types