module Prelude.Erased where data [erased]-is-only-for-printing : Set where [erased] : [erased]-is-only-for-printing