The data type inference pattern