issue with free variables constrained in the type declaration (#2) · Issues · verimag / synchrone / lutin