<div dir="ltr"><div>I found some missing instances in the base package. The instances below are almost unique by parametricity.</div><div><br></div><div>Data.Complex:</div><div>  instance Functor Complex</div><div>  instance Applicative Complex</div><div>  instance Foldable Complex -- real first</div><div>  instance Traversable Complex</div><div><br></div><div>Data.Functor.Identity:</div><div>  instance Monoid a => Monoid (Identity a)</div><div><br></div><div><div>Control.Applicative:</div>  instance Foldable ZipList<div>  instance Traversable ZipList</div></div><div><br></div><div>I'm going to write a patch if there is no issue with them.</div><div><br></div><div>Also, I wonder if () could be Storable:<br></div><div><br></div><div><div>instance Storable () where</div><div>  sizeOf _ = 0</div><div>  alignment _ = 1</div><div>  peek _ = return ()</div><div>  poke _ _ = return ()</div></div><div><br></div></div>