I always explicitly annotate when writing Haskell, but I often like to remove types on functions (one at a time) to see what Haskell infers because it sometimes

I always explicitly annotate when writing Haskell, but I often like to remove types on functions (one at a time) to see what Haskell infers because it sometimes gives me a more general type that I prefer. But then I'll manually add in that annotation.