| (EApp ((EVar "dnsAFSDB", _), e), _) =>
Option.map AFSDB (Env.string e)
| (EApp ((EApp ((EApp ((EApp ((EApp ((EVar "dnsSRV", _), e1), _), e2), _), e3), _), e4), _), e5), _) =>
| (EApp ((EVar "dnsAFSDB", _), e), _) =>
Option.map AFSDB (Env.string e)
| (EApp ((EApp ((EApp ((EApp ((EApp ((EVar "dnsSRV", _), e1), _), e2), _), e3), _), e4), _), e5), _) =>