Agda.TypeChecking.CompiledClause
type key :-> value
data Case c
type Cl
type Cls