Analyzer::Haskell::Servant

visited only blocks cycles along one path, not repeated sibling expansions (type A = B :<|> B doubles each level -> O(2^N)). Cap the total expanded size so a crafted alias chain can't hang/OOM the scan; real Servant bodies expand to far under this, so output is unchanged.

Servant type-level API operators. Double quotes only: Haskell's ' is a tick on promoted constructors ('[JSON]) and a primed identifier suffix, never a string delimiter, so treating it as a quote would swallow the rest of every Get '[JSON] X. <> are deliberately NOT counted as a nest kind even though :<|> contains both: Haskell writes no angle generics, and counting them would leave the separator's own < on the depth counter and suppress every later split. Per-kind clamped counters and Empties::DropAll are taken verbatim from the loop this replaces (three independent *_depth variables, each -= 1 if > 0, and a final .map(&.strip).reject(&.empty?)), both of which are observable on the unbalanced fragments the recursive callers hand it.

Instance-side view of the same declaration. The per-file rescues live on this base class, which has no way to name the analyzer that is running inside them, so a skipped file could not be attributed to a tech. Deriving it from analyzer_for keeps the name written exactly once.