the new syntax is something along the line, "<T...

# announcements

[alexandre_delattre]

the new syntax is something along the line, "<T with Monoid as M>", that means typecheck there is exist an instance of Monoid<T> and reference this instance as M