To może tak -- rekursja polimorficzna nie stanowi problemu sama w sobie. Problematyczna (nierozstrzygalna) jest inferencja typów w jej obecności. Jeśli ma się explicitie podane typy to nie ma problemu. -- : Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++ : When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?