Sometimes behavior follows from the types. Combined with inference you sometimes wind up writing substantially less code (because it's basically being generate

Sometimes behavior follows from the types. Combined with inference you sometimes wind up writing substantially less code (because it's basically being generated for you by a prolog program).