$use Convert StdIO;

$func? Eq (e1) (e2) = ;

Eq (e1) (e2) = e1 : e2;

$func Main = e;
Main =
  <ToChars ABC> :: e1,
  <ToChars ABC> :: e2,
  e1 : e2,
  <Eq ((e1)) ((e2))>,
  <PrintLn "OK!">;