`Model::invoke` is a reference of type `Model.(Mod...

# announcements

[diesieben07]

Model::invoke is a reference of type Model.(Model) -> Boolean, because invoke takes that additional Model parameter. You should just make Model extend () -> Boolean.