Andrej Bauer wrote a popular post in 2016 (Hask is not a category):

https://math.andrej.com/2016/08/06/hask-is-not-a-category/

Mathematicians are still thinking about this stuff.

A recent post by Mike Shulman, asking about Agda (Haskell for mathematicians):

https://proofassistants.stackexchange.com/questions/1887/cat...