ResultTransform is a monoid now.