module comb-strat
imports comb-red simple-traversal lib
strategies

 T = T1 + T2

 nf = topdown(repeat(T))  (* normal form *)

 hnf = repeat(T)           (* head normal form *)

 main = stdio(nf)