template< class E > 
  class list {
  public:
  list() { }
  virtual ~list() { }
  virtual bool empty() = 0;
  virtual E head()  = 0;
  virtual list* tail() = 0;
  virtual bool operator==(list* m) = 0;
  };