New post: Dependent types and plhaskell