HoTT was a popular topic in the Haskell ecosystem a little while back, so worth digging around there for info:
- https://softwareengineering.stackexchange.com/questions/2623...
- https://www.reddit.com/r/haskell/comments/6nxgkc/similaritie...
- https://bartoszmilewski.com/category/homotopy-type-theory/