Spent a lot of time trying to get something to work in Haskell to help me prove alpha equivalence. Couldn't get it done. Eventually I just resorted to ChatGPT which not only confirmed that my two functions were not alpha equivalent, it also reasoned why these weren't.