We currently eagerly generate code which materializes Instance for each function. Maybe this should be lazy. Ditto for zero values?
*** This bug has been marked as a duplicate of bug 174818 ***