I like this blog post by Alexis King about types in Haskell. In particular the way she argues that "newtypes are not for type safety" and that the type system should be used pragmatically, as a tool. It makes me think if I'm also guilty of using types too dogmatically sometimes, rather than solely pragmatically.