Data.Functor.Product.Compat.Repl