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