Codata.agda:3,1-21
The codata construction has been removed. Use the INFINITY builtin
instead.