SirReiva

[BUG] Infer & check not works properly

1

Infer and check don't work correctly with generic parameters, create a union type instead of comparing separately **Playground link** [playground](https://googlefeud.github.io/ts-runtime-checks/?code=JYOwLgpgTgZghgYwgAgKoGdrIN4ChnIhwC2EAXMumFKAOYDc+ywAJhSAK7EBG0jAvrlCRYiFAFFicYABscTbgHsWATwpUaIBkzCL11OgNy4EikFWQtFAYQAWEBAGtkAXmQAeACoA+ABQs4MDgKDhBHEEUAdxAASgpPZAAfQg4ZORdveQJTczBkAG0oCHQAGmRoKEUodABdV2QEeyd3AEkQGGgvbz8AoJjGAmAYZF8KqvQAOhkILTBbZEyABhisggazdEVpqcVaUahK6v6mAiKwDigQFLSB5EFTiHPL5CL0AUYTDbywABFAuHqeAIRFIFAARCx0HAYOgWGCSkxWBQAKwI-gfHKbbYyXb+GxNRzuDDQPy-f4xY6YrYQHZ7Kx2ByEyTSGSkv59fpAA)