// ポストオーダーでノードをトラバースして、'a' の値を含むリストを返そうとしています。Junitでは、「文字列をリストにキャストできません」と表示されます。助けてください。
public static List postorder(Tree a) {
if (a.getEmpty())
return List.empty();
else
postorder(a.getLeft());
postorder(a.getRight());
return ListOps.append(postorder(a.getLeft()),
List.cons(a.getValue(), postorder(a.getRight())));
}