let
equal t1 t2 = compare t1 t2 = 0