That looks neat. Making me fall in love with Haskell again which I want to avoid as I can’t use it at work ;) You could add a monoid instance which would be us

That looks neat. Making me fall in love with Haskell again which I want to avoid as I can’t use it at work ;) You could add a monoid instance which would be useful (for one example) if the animation produces a matrix transform then you could combine two animations that produce transforms. For example a rotation and a move. I’m sure there are other good monoid animations. Strings would be a simple example I guess.