15     auto eq_tuples = hana::make_tuple(  in main()
16           hana::make_tuple()  in main()
17         , hana::make_tuple(ct_eq<0>{})  in main()
18         , hana::make_tuple(ct_eq<0>{}, ct_eq<1>{})  in main()
19         , hana::make_tuple(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})  in main()
20         , hana::make_tuple(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})  in main()
21         , hana::make_tuple(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{})  in main()
25         hana::make_tuple(ct_eq<3>{}, ct_eq<5>{})  in main()
28     auto bool_tuples = hana::make_tuple(  in main()
29           hana::make_tuple(hana::true_c)  in main()
30         , hana::make_tuple(hana::false_c)  in main()
31         , hana::make_tuple(hana::true_c, hana::true_c)  in main()
32         , hana::make_tuple(hana::true_c, hana::false_c)  in main()
33         , hana::make_tuple(hana::false_c, hana::true_c)  in main()
34         , hana::make_tuple(hana::false_c, hana::false_c)  in main()
38         hana::make_tuple(hana::true_c, hana::false_c)  in main()