Wrapped KindN instances like in List[KindN[...]] do not translate to the correct type

[sobolevn]

We need python/mypy#9001 to be released in mypy to write our custom translator of types.
Because otherwise, we won't be able to support List[KindN[...]] or Maybe[KindN[...]] or any other wrapped KindN instances.

I won't say that it is a blocker. But a major bug for us right now.

[sobolevn]

Related #391

[sobolevn]

It would be awesome to know mypy release cycle.

[sobolevn]

It is now released in 0.790

[sobolevn]

So, the plan is:

1. @kinded and Kinded can be now applied to any callable
2. That has KindN at least somewhere in the return type
3. If not, we can raise an error from the plugin
4. We need to change our transformation function to use TypeTranslator
5. That will change KindN[_Instance, _First, _Second, _Third] into _Instance[ _First, _Second, _Third] and keep the other structure!

So,

• List[KindN[_Instance, _First, _Second, _Third]] will be List[_Instance[ _First, _Second, _Third]]
• Tuple[KindN[_Instance, _First, _Second, _Third], KindN[_Instance, _First, _Second, _Third]] will be Tuple[_Instance[ _First, _Second, _Third], _Instance[ _First, _Second, _Third]]
• Callable[[], List[KindN[_Instance, _First, _Second, _Third]]] will be Callable[[], List[_Instance[ _First, _Second, _Third]]]
• etc

[sobolevn]

Here's the old method https://github.com/dry-python/returns/blob/master/returns/contrib/mypy/_features/kind.py#L114-L128