foo -- c1
  -- | c2
  {- c3 -} True -- c4
  = new_def

foo False = False