The tool/culture doesn't insist on this. One of the arguments for using languages like haskell is: it is easier to refactor your abstractions as necessary alon

The tool/culture doesn't insist on this. One of the arguments for using languages like haskell is: it is easier to refactor your abstractions as necessary along the way, so you should just pick the one that works now, although the tooling around could always be improved.