type 'a tree = | Leaf of 'a | Branch of ('a * 'a) tree;; let zzz = Branch(z,zz);;
Standard input is empty
File "prog.ml", line 7, characters 16-22: This expression has type int tree * int tree but is here used with type ('a * 'a) tree
Standard output is empty