Automatic Type-Dependent Closure Construction 

This is an implementation of the ternary operator