letrec king