Just to add: Hackett [0] is a lispy Haskell that has been under active development for some time. Based around a paper, Type Systems as Macros [1] [0] https:/

Just to add: Hackett [0] is a lispy Haskell that has been under active development for some time. Based around a paper, Type Systems as Macros [1] [0] https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett [1] http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf