Sketch of comultiplication
Agda comultiplication
Source highlighting and comultiplication in scala