There's precedence for this, I think: Data.Map, Data.Vector, Data.List all export monomorphic functions. It's just we don't import Data.List as L because lists are given special treatment by Haskell 2010. It makes sense for Prelude to be polymorphic to me.