And you can see already that starts them onto the slippery slope as they don't support variance rules. Which leads to lots of boilerplate/runtime-typed code.