overlapping instances

Arie Peterson ariep at xs4all.nl
Thu Oct 16 00:11:30 EDT 2003

>What would have GHC do for the "convert :: String -> String" case?
>(You'd like "convert = id" here but it's not clear to me what the
>general rule should be.)
>         mike

The general rule should be that convert :: a -> a = id, no matter what 
other instances are available.
Is there any way to tell GHC so? It would be nice to be able to define 


More information about the Glasgow-haskell-users mailing list