• Solving the Boolean Identity Crisis (Elm Conf talk by Jeremy Fairbank)
• If It Compiles, It Works episode
• Opaque Types episode
• Life of a File talk by Evan Czaplicki
• Roc language
• ianmackenzie/elm-units package
• Parse, Don't Validate episode
• Using Semantic Types to Squash Bugs - Dillon's talk where he walks through the mechnical steps to safely introduce a wrapper type
• Dillon's Entry Gatekeepers blog post