title: What is dependent typing?
body: <p>Can someone explain dependent typing to me?  I have little experience in Haskell, Cayenne, Epigram, or other functional languages, so the simpler of terms you can use, the more I will appreciate it!</p>