86: #line 111 "felix_stdcat.ipk" 87: class cat_list(cat_sequence): 88: def __init__(self): cat_monoid.__init__(self,[]) 89: 90: def is_arrow(self, object): 91: return type(object) is types.ListType 92: