[Haskell-cafe] to make a statically known sized non-empty list

[adam vogt]

Hi Markus,

You need to add a Functor constraint for the fmap you use on the
right-hand side, since that Head constructor isn't providing one (I'm
not sure you can do data-families + GADTs). In other words:

instance Functor (NonEmpty a) => Functor (NonEmpty (Succ a)) where

Regards,
Adam