desugarModule _ = error "Exports should have been elaborated in name desugaring"
desugarModule _ = error "Exports should have been elaborated in name desugaring"
desugarModule _ = error "Exports should have been elaborated in name desugaring"