Describir: Algebra and Coalgebra in Computer Science