📝 the module a bit.

src/Data/Syntax/Assignment.hs

@@ -1,4 +1,7 @@
 {-# LANGUAGE DataKinds, GADTs, ScopedTypeVariables, TypeFamilies #-}
+-- | Assignment of AST onto some other structure (typically terms).
+--
+--   Parsing yields an AST represented as a Rose tree labelled with symbols in the language’s grammar and source locations (byte Range and SourceSpan). An Assignment is a tree automaton—a parser of trees, essentially—representing a (partial) map from AST nodes onto some other structure. (For our purposes, this structure is typically Terms annotated with source locations.) Assignments are able to match based on symbol, sequence, and hierarchy; thus, an Identifier occurring in one location might be mapped onto a type for variable references, while in another location it might be assigned a type for a declaration.
 module Data.Syntax.Assignment
 ( Assignment
 , Location