give placeholders lazy demand signatures. non product constructors now examine arguments properly.
give placeholders lazy demand signatures. non product constructors now examine arguments properly.
hvr/jhc,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror