Point is a record type here. Record types seem to be like Scala's case classes. The distinction between fields and getters is intentionally blurred because the

Point is a record type here. Record types seem to be like Scala's case classes. The distinction between fields and getters is intentionally blurred because these are immutable value classes.