As dragonwriter points out (https://news.ycombinator.com/item?id=11690914 https://news.ycombinator.com/item?id=11690914), Haskell best practice in naming includ

As dragonwriter points out (https://news.ycombinator.com/item?id=11690914 https://news.ycombinator.com/item?id=11690914), Haskell best practice in naming includes things like `head (x:xs) = x`, and I think that one would not accuse this definition of involving an ad hoc reinvention of half a type system.