[carlehewitt]

There is a strongly-typed definition of Y here:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003

[ProfHewitt]

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