15 Oct
2003
15 Oct
'03
5:11 p.m.
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 'precedences'. Arie