Depends what you mean by anything. You have dependent types and subtyping, but can't express, say, a GADT.

I think Scala can probably do anything.

I agree that Haskell is probably not great for writing real world code and should be reserved for toying with ideas about PL and type theory.