Automatic Type-Dependent Closure ConstructionΒΆ