The AnimationWriter typeclass describes a data type that can write an animation to a file.
AnimationWriter