Comonad f => MonadFree f (Tagged f)

[Icelandjack]

A could of 'trivial' instances, I just wrote them to write them so I have no use for them

instance Comonad f => MonadFree f (Tagged f) where
  wrap :: f (Tagged f a) -> Tagged f a
  wrap = extract

instance MonadFree Identity Identity where
  wrap :: Identity (Identity a) -> Identity a
  wrap = extract

[Icelandjack]

Now I remember, as a consequence we can derive "MonadFree Identity Fresh" for our little friend down there:

type    Fresh :: Type -> Type
newtype Fresh a = Fresh (Integer -> (a, Integer))
 deriving
   (Functor, Applicative, Monad, MonadFix, MonadState Integer, MonadFree Identity)
 via State Integer

I was wondering if State Integer could make sense as a MonadFree instance which lead me to think about Identity ..