Match expected type when using Success and Failure aliases

[acostapazo]

First Check

• I added a very descriptive title to this issue.
• I used the GitHub search to find a similar issue and didn't find it.
• I already read and followed all the documentation and didn't find an answer.

Description

When use alias Success and Failure and the return typing is a Result. the IDE warns us, as in the following example:

This is the current implementation:

from typing import Any, Generic, cast

from meiga.error import Error
from meiga.result import TF, TS, Result


class Success(Result, Generic[TS]):
    def __init__(self, value: TS = cast(TS, True)) -> None:
        Result.__init__(self, success=value)


class Failure(Result, Generic[TF]):
    def __init__(self, error: TF = cast(TF, Error())) -> None:
        Result.__init__(self, failure=error)

Wanted Solution

We want to match typed return with returned one.

Could we use a function to resolve this

Wanted Code

def Success(value: TS = cast(TS, True)) -> Result:
    return Result(success=value)


def Failure(error: TF = cast(TF, Error())) -> Result:
    return Result(failure=error)

Alternatives

No response

Operating System

macOS

Operating System Details

No response

meiga Version

1.6.1

Python Version

3.10.6

Additional Context

No response