More type constraints.