Dependent types coming to Haskell


#1

Thought this work, as well as the wip dissertation, might be relevant to(hopefully) future rust support.