This elm-conf 2019 talk by is a tour-de-force, touching on discoverability, empathy, testing, and type design, all in 25 minutes:
youtube.com/watch?v=rIxCwP
Conversation
This was really great actually! Spot on description of how types and tests are not in conflict, and can support each other! 👏

