is this not an attempt to move module functionality inside function? Same counter-argument can be applied to local functions.
not quite. Let's look at the current state: Module inside module: ok (module reexport) Type inside type: ok (data declaration etc) Function inside function: ok (local functions) Type / Instance / module inside function is quite a bit different
finer granularity than module level. by turning function into a mini module?
Haskell programmers are more or less used to pay the cost of abstraction. well should we not start thinking about keeping those costs down if
Currently module does not give control over instance export. Should this not be addressed first? This would be a step towards more complexity in syntax. While there may be benefits, complexity always comes at a price. possible - performance and otherwise? Ideally, minimizing them?