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.(++)