$use StdIO;

$func Main = e;
Main =
  A B :: e1,
  A B :: A t1,
  t1 :: t1,
  t1 t1 :: t2 t1,
  t1 t2 :: t2 t1,
  A B t1 :: t1 t3 t4,
  t1 (t1 t2) (t1 t3) :: t2 t1 t3,
  t1 t2 t3 :: t2 t3 t1,
  (t2 t3) (t1 t3) (t1 t2) :: t1 t2 t3;