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

adam vogt vogt.adam at gmail.com
Thu Oct 24 21:16:58 UTC 2013

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


More information about the Haskell-Cafe mailing list