Compilers are programs for working with type systems. It's not surprising that a language that is all about working with type systems expresses them concisely.