Incomplete predictive type system.