General

Parece que me apresuré!

si hago :i Functor obtengo

class Functor (f :: * -> *) where

  fmap :: (a -> b) -> f a -> f b

  (<$) :: a -> f b -> f a

   -- Defined in ‘GHC.Base’

instance Functor (Either a) -- Defined in ‘Data.Either’

instance Functor [] -- Defined in ‘GHC.Base’

instance Functor Maybe -- Defined in ‘GHC.Base’

instance Functor IO -- Defined in ‘GHC.Base’

instance Functor ((->) r) -- Defined in ‘GHC.Base’

instance Functor ((,) a) -- Defined in ‘GHC.Base’

Lo que dice en la primera parte (antes de -- Defined in ‘GHC.Base’) es lo que buscaba yo, creo. Pero parece que no ofrece una implementación de los métodos. Simplemente da su firma. El deriving Functor funcionaría? Mi duda está en que tal vez no tendría nada que derivar.

Acá está el resultado de mi intento de probarlo en ghci

Prelude> :{

Prelude| data Failing e a = Success a | Failure e

Prelude|    deriving (Functor, Show)

Prelude| :}

<interactive>:49:14:

    Can't make a derived instance of ‘Functor (Failing e)’:

      You need DeriveFunctor to derive an instance for this class

    In the data declaration for ‘Failing’