<div>That did it, thank you Alexis! The Haskell Book says to turn Prelude back on before trying out the qualified import examples, so that's what happened.<br></div><div><br></div><div>Andrea<br></div><div><br></div><div class="protonmail_signature_block "><div class="protonmail_signature_block-user "><br></div><div class="protonmail_signature_block-proton ">Sent with <a href="https://protonmail.com">ProtonMail</a> Secure Email.<br></div></div><div><br></div><blockquote type="cite" class="protonmail_quote"><div>-------- Original Message --------<br></div><div>Subject: Re: [Haskell-cafe] Qualified imports and REPL output in GHCi 8.0.1<br></div><div>Local Time: December 7, 2016 2:05 AM<br></div><div>UTC Time: December 7, 2016 8:05 AM<br></div><div>From: lexi.lambda@gmail.com<br></div><div>To: Atrudyjane <atrudyjane@protonmail.com><br></div><div>haskell-cafe@haskell.org <haskell-cafe@haskell.org><br></div><div><br></div><div>Since Bool is already imported unqualified from the Prelude, GHC favors<br></div><div> printing the unqualified version. If I include the -XNoImplicitPrelude<br></div><div> option to disable the implicit import of the Prelude, I get the behavior<br></div><div> you expect:<br></div><div> <br></div><div> $ ghci -XNoImplicitPrelude<br></div><div> GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help<br></div><div> ghci> import qualified Data.Bool<br></div><div> ghci> :t Data.Bool.bool<br></div><div> Data.Bool.bool :: a -> a -> Data.Bool.Bool -> a<br></div><div> <br></div><div> Alexis<br></div><div> <br></div><div> > On Dec 6, 2016, at 23:59, Atrudyjane via Haskell-Cafe <haskell-cafe@haskell.org> wrote:<br></div><div> > <br></div><div> > When I do a qualified import such as:<br></div><div> > λ> import qualified Data.Bool<br></div><div> > <br></div><div> > then query a type, this is the output.<br></div><div> > λ> :t Data.Bool.bool<br></div><div> > Data.Bool.bool :: a -> a -> Bool -> a<br></div><div> > <br></div><div> > Was expecting:<br></div><div> > λ> :t Data.Bool.bool<br></div><div> > Data.Bool.bool :: a -> a -> Data.Bool.bool -> a<br></div><div> > <br></div><div> > I experimented with changing the -fno-implicit-import-qualified flag and the result was the same. Is there an option that needs to be set to show the expected behavior?<br></div><div> > <br></div><div> > Regards,<br></div><div> > Andrea<br></div><div> <br></div></blockquote><div><br></div>