Christopher Wright Wrote:

> The idea is that the syntax of template constraints is sufficiently obtuse that you need to use idioms to get around it

So they should be fixed to become usable.

> Using that, it's difficult to determine what types you can pass to Template.

It's difficult only if AcceptableToTemplate is unreadable.