-- Prelude> :t (fmap . fmap) replaceWithP
-- (fmap . fmap) replaceWithP
--    :: (Functor f1, Functor f)
--    => f (fa a) -> f (f1 Char)
twiceLifted :: (Functor f1, Functor f) =>
               f (f1 a) -> f (f1 Char)
twiceLifted = (fmap . fmap) replaceWithP
twiceLifted :: (Functor f1, Functor f) =>
               f (f1 a) -> f (f1 Char)
twiceLifted = (fmap . fmap) replaceWithP
twiceLifted = (fmap . fmap) replaceWithP