$module Fab;

$use StdIO;

$func Fab e = e;

Fab {
	e1 A e2 = e1 B <Fab e2>;
	e1 = e1;
};

$func Main = e;

Main = <WriteLn <Fab A B C A D E F>>;