79: #line 103 "felix_stdcat.ipk" 80: class cat_tuple(cat_sequence): 81: def __init__(self): cat_monoid.__init__(self,()) 82: 83: def is_arrow(self, object): 84: return type(object) is types.TupleType 85: