Agda.TypeChecking.CompiledClause
type key :-> value
data Case c
data CompiledClauses
litCase
conCase
catchAll