Excessive Deep Type Instantiation (TS2589) - Convex Community