I can build a type system [0] with power approximately equal to that of Haskell within Lisp using macros. Not possible or even conceivable to do with functions.

I can build a type system [0] with power approximately equal to that of Haskell within Lisp using macros. Not possible or even conceivable to do with functions. [0] https://coalton-lang.github.io/20211010-introducing-coalton/ https://coalton-lang.github.io/20211010-introducing-coalton/