Docs Introduction → Embedded DSL (EDSL) in Haskell → Algebraic Data Types (ADT) → Data Versioning → Frequently Asked Questions → YulDSL - A Category-theoretical DSL → Using Linear Types in Yolc →
