Implemented polymorphic var preds