Hey everyone, Would someone be kind enough to give me a brief explanation about what the point of Coinduction/Codata is? I've tried googling it, but most discussions seem to either assume that you already know what the purpose of it is or to give a very involved explanation from which it is hard to gleam the basic insight behind it. Thanks! Greg