Alice through the looking glass. - Andreas Rossberg; Didier Le Botlan; Guido Tack; Thorsten Brunklaus; Gert Smolka (Trends in Functional Programming, 2004)