![](https://secure.gravatar.com/avatar/386a116d129cdc597f2bb6210bbaff7a.jpg?s=120&d=mm&r=g)
21 Feb
2006
21 Feb
'06
4:15 a.m.
In metafun-p.pdf there are some other examples (see pages 159,160 )