The thing with GIF is that it’s rarely better than a paletted PNG.

As for animations, video formats with a very low fps are usually way better suited and smaller than GIFs.