An abstract-level library for generating animations from Haskell code