import           Test                                     ( (+)
                                                          , (:!)(..)
                                                          , (:*)((:.), T7, t7)
                                                          , (:.)
                                                          , T
                                                          , T2()
                                                          , T3(..)
                                                          , T4(T4)
                                                          , T5(T5, t5)
                                                          , T6((<|>))
                                                          )