module Codata where

codata D : Set where