once you have one layer desugared Company(Person(…...
# pattern-matching
r
once you have one layer desugared Company(Person(…))