def __init__(self, patcher, f): ArrowChoice.__init__(self) KleisliArrow.__init__(self, patcher, f)
def __init__(self, f): ArrowChoice.__init__(self) FunctionArrow.__init__(self, f)