Re: Missing instance declarations in base

On Mon, 29 Jun 2015, Fumiaki Kinoshita wrote:

I found some missing instances in the base package. The instances below are almost unique by parametricity.

Data.Complex:   instance Functor Complex   instance Applicative Complex   instance Foldable Complex -- real first   instance Traversable Complex

They were certainly omitted earlier because of the RealFloat constraint of the (:+) constructor.

Also, I wonder if () could be Storable:

instance Storable () where   sizeOf _ = 0   alignment _ = 1   peek _ = return ()   poke _ _ = return ()

This would allow me to remove the orphan instance from: https://hackage.haskell.org/package/storable-tuple