A new coalgebra library