Add intersection types to Python

intersection.py

import typing
import fishhook

class IntersectionMeta(type):
    def __instancecheck__(self, other):
        return all(isinstance(other, t) for t in self.types)

    def __repr__(self):
        if hasattr(self, "types"):
            return " & ".join(t.__name__ for t in self.types)
        return "Intersection"

class Intersection(metaclass=IntersectionMeta):
    def __class_getitem__(self, types):
        new_cls = IntersectionMeta("Intersection", self.__bases__, {})
        new_cls.types = types
        return new_cls

@fishhook.hook(type)
def __and__(self, other):
    if issubclass(self, IntersectionMeta):
        return Intersection[(*self.types, other)]
    return Intersection[self, other]

typing.Intersection = Intersection