More agda wf-recursion