[ReleaseCandidat]

Yes, it does do some things better than Haskell. And row types and row polymorphism are a really nice way of handling records and some type level programming.