Recommit bracketing of type/effect inference in streamfusion.