<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 <span style="font-family:menlo,consolas,"courier new",monospace" class="font"><span class="pre">-fno-implicit-import-qualified</span></span> 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 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>