Actualmente estoy estudiando programación funcional por mi cuenta escribiendo una biblioteca de mónadas en python. Y estoy teniendo problemas con las sugerencias de tipos. Entonces, por ejemplo, hay una función filterM en Haskell con firma

 filterM :: (a -> m Bool) -> [a] -> m [a]

Idealmente, si python puede hacer coincidir el patrón con los "subtipos" de un TypeVar colocando un corchete después, entonces debería poder hacerlo con algo como esto:

 T = TypeVar('T') M = TypeVar('M', bound=Monad) def filterM(filter_func: Callable[[T], M[bool]], iterable: list[T]) -> M[list[T]]

Pero parece que la sintaxis anterior no funcionaría. De hecho, parece que no hay forma de "extraer" el tipo de mónada que paso en absoluto. Digamos que paso un Callable[[int], Maybe[bool]] , lo mejor que logré fue tomar todo Maybe[bool] como un solo TypeVar. Entonces no hay forma de convertirlo al tipo de salida correcto Maybe[list[int]] .