On: Does Haskell need macros? [2007]

Shen (http://shenlanguage.org/ or http://www.lambdassociates.org/Book/contents.htm) has a haskell feel to it and has macros. Thought things like haskell typeclasses are not available by default in the language, they can be constucted using what is already available (http://programmingkungfuqi.blogspot.co.uk/2007/08/haskell-li...)

Also : Dependent types example in Shen (http://sandycat.info/blog/deptypes-shen/)