Agda.TypeChecking.CompiledClause
data WithArity c
data Case c
data CompiledClauses
emptyBranches
litCase
conCase
catchAll
prettyMap