Consider adding generics support #8
Description
We need to be able to work with generic like List[str] or Result[str, Exception] and Maybe[int]
I propose the following API:
@typeclass def test(instance) -> int: ... @test.instance( Some[int], predicate=lambda instance: is_successful(instance) and isinstance(instance.unwrap(), int), ) def _test_success_int(instance: Some[int]) -> int: return instance.unwrap()It should be supported on both side: types and runtime.