let
(=$=) a b =
String_operator
(a,
`
Eq
, b)