What's the problem with the module system and functors?