struct { T1 = Fn(h: A) -> A { return h; }; } main;