idris-1.3.0: test/pkg009/src/Data/Type.idr

module Data.Type

data D : Type where