false_rec : [`a, `b] `a -> `b
false_rec2 : [`b, `a] `a -> `b
main : string