Types as Benders

Types as Benders