another experiment with animations using free monads