20 Nov
2006
20 Nov
'06
6:46 p.m.
On 11/20/06, Malcolm Wallace
newtype Wrapper a = Wrap a convert :: [a] -> [Wrapper a] convert xs = map Wrap xs
Interesting! Looks like the compiler lacks rules for optimizing "map id" &c.\
Your coercion does assume that the underlying runtime doesn't have
some kind of type-tag implementation of type classes.
--
Taral