In the if.... functions section, instead of `modelValidator : Validator Model String` it should be `modelValidator : Validator String Model`
In the if.... functions section, instead of
modelValidator : Validator Model Stringit should be
modelValidator : Validator String Model