Parametric attributes

[Timon Gehr]

On 10/2/24 02:49, Richard (Rikki) Andrew Cattermole wrote:
> The simplest solution to this is what I call contract invalidation.
> 
> When passing in a callback, that has less guarantees on it and does not 
> escape, the function will match it.

As I also mentioned in my DConf talk last year, this just does not 
compose properly. You literally cannot express function composition.