Comonad instance for (Lift f)

[Icelandjack]

I can make a PR later if desired, but there should be a Comonad instance for Lift f

instance Comonad f => Comonad (Lift f) where
  extract :: Lift f a -> a
  extract (Pure a)   = a
  extract (Other fa) = extract fa

  extend :: (Lift f a -> b) -> (Lift f a -> Lift f b)
  extend f = \case
    Pure  a  -> Pure  $ f (Pure a)
    Other fa -> Other $ extend (f . Other) fa