On 4 May 2012, at 10:02, Alberto G. Corona wrote: > Restrict (++) String -> String -> String > > that locally would restrict the type within the module. import qualified Prelude import Prelude hiding ((++)) (++) :: String -> String -> String (++) = Prelude.(++)