PureScript has forall! That’s super neat. Any other cool type cartwheels that PureScript can pull off?
Type classes, rank N types and extensible records/effects are the ones people usually care about. We also have a bunch of smaller features which make dealing with an expressive type system more pleasant, like scoped type variables and type wildcards.
It has row polymorphism which allows extensible records but also extensible effects.