Redundant typing - Convex Community