spent literal days trying to prove this which might just be a skill issue on my part LMAO, but in my defense I wanted to prove it in a way that felt natural, and even stating it in a way that didn't feel like a hack required me to construct the isomorphism Fun(J, Fun(C, D)) -> Fun(C, Fun(J, D))
add a skeleton here at some point
almost 2 years ago