Oℕ
Size: a a a
Oℕ
KS
DM
KS
SA
SA
λ
KS
AS
SA
λ
AS
λ
SA
λ
AS
SA
String60
?AS
String60
?λ
SA
case class FirstName(...)
case class LastName(...)
case class Description(...)
case class Person(firstName: FirstName, lastName: LastName, description: Description)