sclass SimplyLinkedList<A> {
  A head;
  SimplyLinkedList<A> tail;
  
  static <B> SimplyLinkedList<B> cons(B head, SimplyLinkedList tail) {
    new SimplyLinkedList<B> l;
    l.head = head;
    l.tail = tail;
    ret l;
  }
}