Not every mathematician likes Haskell.

(here are a bunch of them: https://math.andrej.com/2016/08/06/hask-is-not-a-category/)

and this feels to strong: "Haskell ... is very good at modelling certain branches of mathematics"

(Somebody cries "Haskell has no semantics")

Anyway, this is nice Haskell stuff and lay people can get inspiration of some nice mathematics.

Shortcut:

https://hub.darcs.net/olf/haskell_for_mathematicians/raw-fil...