import junit.framework.TestCase;

public class ListTest extends TestCase {
  
  public ListTest(String s) {
    super(s);
  }
  
  public void testInsert() {
    List list0 = Empty.ONLY;
    List list1 = list0.insert("david");
    assertEquals("[david]", list1.toString());
    list1 = list1.insert("corky");
    assertEquals("[corky david]", list1.toString());
  }
}