Scala, Programming, Functional Programming, Type Safety.
pattern? Unfortunately none of the presented techniques allow to perform any kind of validation on the type level, so not only do we have to check the predicates at runtime but also remember about them! It’s possible to create an instance of String @@ Recipient from arbitrary value without