Re: [Haskell-cafe] Constructor discipline and dependent types.