Indeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.