• What is cosh(List(Bool))? Or beyond algebra: analysis of data types https://nikitadanilov.github.io/aodt.html 7 comments 23/4/2025 plt