what about insert haskell code as DSL in haskell program? as an example, in ghci:

> eval [haskell| tail [0,1,2,3]|]

 [1,2,3]

as intermediate step to get an interactive word-based italian translation of haskell:

> eval [italian| coda [0,1,2,3]|]

 [1,2,3]

I'm an italian primary school teacher and I would like to introduce my schoolchildren to FP using haskell...

Thank you very much, see You son.

Rosario