It would be nice to export the actual data constructors. I would like to experiment with lazy producer abstractions, but it's totally impossible to write a lazy Map producer because the constructors are hidden. It's already in an Internal module, so I'm not sure why we want to hide them.