Ok, so stage2 is in fact behaving correctly, the stage1 code needs to have CPP directives around it.

In other words this is not actually a bug.

Thanks

Alan

On Wed, Oct 8, 2014 at 2:05 PM, Nicolas Trangez <nicolas@incubaid.com> wrote:

On Wed, 2014-10-08 at 14:00 +0200, Alan & Kim Zimmerman wrote:
> The current HEAD gives a spurious unused declaration when deriving
> Typable/Traversable

Why would this be spurious, given `Foldable` and `Traversable` are now
exported by `Prelude`, so those imports are in fact not necessary?

Nicolas