09-Coinduction: Agda 2.4.0