Depends what you mean by "Haskell". There is at least one dependent types extension for base Haskell.