Some enterprising hacker should research who should be credited for the strongly-typed recursive def of Y.