The problem is that you'll maybe find two other people on this site who understand functional and meta-programming well enough to discuss the issues with you (and I'm not yet one of them).