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