let val a' = (tE e a) val b' = (tE e b)
    in (case b' of
      T_List b' => raise Fail "mismatch"
      _ => raise Fail "mismatch") end