Describe the bug
The type parameters of converters and neural networks are all invariant. They must be co-/contravariant, however.
To Reproduce
Check their code.
Expected behavior
Add variance.
Screenshots (optional)
No response
Additional Context (optional)
No response