When I do a qualified import such as:

λ> import qualified Data.Bool

then query a type, this is the output.

λ> :t Data.Bool.bool

Data.Bool.bool :: a -> a -> Bool -> a

Was expecting:

λ> :t Data.Bool.bool

Data.Bool.bool :: a -> a -> Data.Bool.bool -> a

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?

Regards,

Andrea