This can be η-reduced. (Not a huge deal but I like η-reducing things, and I also like using Greek letters.)