in #functional programming, #agentic, #haskell, @Haskell
in #functional programming, #agentic, #dependent types, #haskell, #singletons, #types, @Haskell, +Extreme Haskell: Typed Expression EDSLs