Death to type classes

The peculiar event sourced deadlock

Zurich hack 2022 Denotational Design

Failing in Haskell