functor
(
Reachability
:
Analyzer
.
Analyzer
)
->
Type