¿Cuál es la diferencia entre codata y data?

Hay alguna explicaciónaquí [http://en.wikipedia.org/wiki/Coinduction]. Intuitivamente entiendo cómo las estructuras de datos finitos difieren de las estructuras de datos infinitos como las secuencias. Sin embargo, es interesante ver otras ...