Every coalgebra gives rise to an algebra by vector space duality classically.
Sadly, it requires vector space duality, which we cannot use constructively.
The dual argument only relies in the fact that any constructive coalgebra can only inspect a finite number of coefficients,
which we CAN exploit.