4 kyu

Loading Kata: Lambda term reduction