Matthias Berndt gave a talk at Functional Scala that was all about Next-Level Type Safety. He discussed Adts in Haskell - asked what it might be good for, gave a case study of a simple expression DSL and finished by proposing a challenge for the audience.
This talk was given by Matthias Berndt at Functional Scala.