interface CharList { public char head(); public CharList tail(); public CharList cons(char ch); public boolean isempty(); }