Shared via mypy Playground

main.py

import random
from typing import TypeVar


T = TypeVar("T")
type Monad[T] = T | None


def monadic() -> Monad[int]:
    if random.random() > 0.5:
        return 1
    return None


monadic()