ByNobleID
    The Algebraic Structure of Transitive Closure and its Application to Attributed Type Signatures | NobleID