I documented a bit on some meta-programming support in ATS.
It is currently Chapter 26:
http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/HTMLTOC/book1.html
Once you are able to generate fprint-functions for given datatypes, I doubt
you would
ever want to write such functions manually 
Cheers!
–Hongwei