Agda.TypeChecking.Functions
etaExpandClause
getDef