<div dir="auto">Currently, if you write<div dir="auto"><br></div><div dir="auto">data V a deriving Functor</div><div dir="auto"><br></div><div dir="auto">GHC generates</div><div dir="auto"><br></div><div dir="auto">fmap _ _ = error "Void fmap"</div><div dir="auto"><br></div><div dir="auto">This seems quite unfortunate, because it loses potentially useful error information:</div><div dir="auto"><br></div><div dir="auto">fmap (+ 3) (error "Too many snozzcumbers!")</div><div dir="auto"><br></div><div dir="auto">throws "Void fmap", rather than the much more precise "Too many snozzcumbers!" I've opened Trac #13117 to fix this, but I figured I should double check that no one is opposed.</div><div dir="auto"><br></div><div dir="auto">David Feuer</div></div>