So let me ask again: in what sense do people "do mathematics" in Haskell? They don't really "do" category theory, for example; simply noting that something for

So let me ask again: in what sense do people "do mathematics" in Haskell? They don't really "do" category theory, for example; simply noting that something forms a category is mathematics only in the most trivial sense.