Sign integrity generic notation

---
config:
  theme: redux-dark
---
graph LR
 subgraph Product[" "]
        Syntax
        List
        Stack
        Literal
        Compilation
  end

  subgraph Coproduct[" "]
        Semantics
        Lambda
        Stream
        Operator
        Interpretation
  end

  Syntax --> Semantics
  Semantics --> Syntax

  List --> Lambda
  Lambda --> List

  Stack --> Stream
  Stream --> Stack

  Literal --> Operator
  Operator --> Literal

  Compilation --> Interpretation
  Interpretation --> Compilation