The discussion at https://stackoverflow.com/questions/23596225/how-can-quotient-types-help-safely-expose-module-internals https://stackoverflow.com/questions/23

The discussion at https://stackoverflow.com/questions/23596225/how-can-quotient-types-help-safely-expose-module-internals https://stackoverflow.com/questions/23596225/how-can-quotien... might be relevant. I haven't taken the time to understand it, though, so no guarantees.