21     hana::test::_injection<0> f{};  in main()  local
29         foldl1(f, x<1>{}, x<2>{}),  in main()
30         f(x<1>{}, x<2>{})  in main()
34         foldl1(f, x<1>{}, x<2>{}, x<3>{}),  in main()
35         f(f(x<1>{}, x<2>{}), x<3>{})  in main()
39         foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}),  in main()
40         f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{})  in main()
44         foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}),  in main()
45         f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{})  in main()
49         foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}, x<6>{}),  in main()
50         f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{})  in main()
54         foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}, x<6>{}, x<7>{}),  in main()
55         f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{})  in main()
59         foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}, x<6>{}, x<7>{}, x<8>{}),  in main()
60         f(f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{}), x<8>{})  in main()
64         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
67         f(f(f(f(f(f(f(f(  in main()
74         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
77         f(f(f(f(f(f(f(f(f(f(f(f(  in main()
83         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
86         f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
92         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
96         f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
104         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
109         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
117         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
122         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
130         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
136         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
146         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
155         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
156         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
168         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
177         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
178         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
190         foldl1(f, x<1>{},  x<2>{},  x<3>{},  x<4>{},  x<5>{},  x<6>{},  x<7>{},  in main()
200         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()
201         f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(  in main()