Change sum type for observe rewrites.