-fallow-incoherent-instances not working

[Marc Weber]

> l1 = 2 .*. 3 .*. "abc" .*. (Just 4) .*. HNil
> 
> hlistTest = do
>   print $ 2 .*. HNil
>   print $ (hOccursMany l1 :: [Maybe Int])
> marc at localhost /pr/haskell/test/HList $

I should have used HCons instead of .*. which is bound to HExtend. (but
also to HCons in another module) ...
Then it compiles fine.
Neverthelesse the message is confusing.

Marc