Haskell 98 phantom types to avoid unsafely passing dummy arguments - View it on GitHub