Hindsight – Type-safe and evolvable event sourcing for Haskell