-- a
func -- b
  :: -- c
     a -- d
  -> -- e
     ( -- f
      c -- g
       , -- h
         d -- i
          ) -- j
-- k