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