graph RL
    A((A)) -- f --> B((B))
    B -- g --> C((C))
    A -- g∘f --> C
    B -- h∘g --> D
    C -- h --> D((D))