Clean Code with Records, Sealed Classes and Pattern Matching by José Paumard