Agda-2.3.2.2: test/fail/Codata.agda

module Codata where

codata D : Set where