Agda.Compiler.Epic.Erasure
data Relevancy
type Erasure