Module Module.FreeLeft.Presentation.Map.L

module L: M.Labeled(X)