Fake dependent types in Haskell using singletons - View it on GitHub