modules abbreviation module

[UnixJunkie]

The lazy programmer that I am is thinking about the following:
we create a new module. Let's say BatAbbrevs (for abbreviations).
In this module, we put things such as:

module L = BatList
module S = BatString
module A = BatArray

I.e. we choose for the most useful batteries modules a one letter module name.

So that people can do

open BatAbbrevs

and get all those shortly named modules in their scope.

Good idea? Bad idea?

PS: throwing tomatoes is allowed.