Beautiful animations with monads and comonads!