nshepperd_ 2017-03-09 00:09:24
Huh. I suppose translating polymorphic recursion to an application of fix doesn't work there, because it would be impredicative?
nshepperd_ 2017-03-09 00:10:00
Like you need a specialised rank 2 fix
