let
equal (b1 : t) b2 = (b1 = b2)