title: What is the difference between codata and data?
body: <p>There is some explanation <a href="http://en.wikipedia.org/wiki/Coinduction" rel="noreferrer">here</a>. Intuitively I understand how finite data structures differ from infinite data structures like streams. Nevertheless, it's interesting to see other explanations of differences, characteristics, types of codata.</p>
  
  <p>I stumbled upon codata term when reading about <a href="http://en.wikipedia.org/wiki/Stream_(computing)" rel="noreferrer">streams</a>.</p>