Results for "static-sum-type"