type Foo
  = ( -- t1
     A -- t2
      , -- t3
        B -- t4
         ) -- t5