Added type parameters to checking model.