...for example to validate that the sum of two function arguments is positive. As of today it is not clear how we should allow users to define such a validator in `@validate`. Ideas ?