Some js ADT's