TYPE { list = nil or cons( int head, list tail ) 1 ", " 2; fred = a or b( int x, fred a ) 1 " ++b++ " 2 or c( char a, int z, fred k ) 1 " --c-- " 2 " --c-- " 3 or d( int x ) or e; }