Haskell as the Weapon of Math Distraction

I have shown, in this YouTube video, that spell checking equals type checking.

I know it's pretty obvious but the encoding may be wort mentioning.

In fact, this is not a serious post--it's an Xmas gift.

Enjoy and Merry Xmas + Happy New Year.

Ralf

PS: More background on this "contribution to image processing" can be found here:

https://userpages.uni-koblenz.de/~laemmel/bildverarbeitung/