This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

This joke is out of this world

What a coincidence

Wow haven’t heard those names in ages

You could always get a 4k video from one source and a dubbed video from the other and remux it yourself. Audio quality won’t be as high probably but at least you’ll get good video

You’d probably have much better success searching the internet in that language instead of English. My in-laws use a lot of Chinese sources to source their Chinese sub/dubbed shows, but English sources don’t really offer that in my opinion