Wood fusion and Thiébaud algebraicity

The goal is to show how a 1978 paper of Richard Wood on monoidal comonads and exponentiation relates to more recent publications such as Pastro et alia [30] and Bruguiéres et alia [7]. In the process, we mildly extend the ideas to procomonads in a magmal setting and suggest it also works for algebras for any club in the sense of Max Kelly [18, 19].