Comment by AstralStorm

It allows automatic generic specialization in some cases by the compiler, as you don't have to do template-fu or use a nonspecific type or manually write multiple specializations.

Plus it usually makes the code cleaner by focusing on structure not types. As any construct, it can of course be abused.