Les "Phantom Types" pour les nuls

Ce quickie a pour but de faire découvrir comment les "Phantom Types" améliorent la lisibilité du code, tout en réduisant le nombres d'erreurs au runtime. En l'appliquant au sujet bien connu des développeurs: les files path.