Rich types, makes encoding complex business logic into the type system easier and makes building stuff easier