Merkle path - how to create it and verify transaction in blockchain (implemented in Haskell)

How does blockchain (for example bitcoin) use merkle tree path (authentication path) to verify transaction (example with Haskell) ... https://www.youtube.com/watch?v=2cfHyT7u9c0