This is one of several issues raised by ModuleFactoringSummary.
WG1 decided to move case-lambda to its own module.
WG1 decided to move case-lambda to its own module.