What is cosh(List(Bool))? Or beyond algebra: analysis of data types | Not Hacker News!