The following code:
...fails with:
Start investigating how path-type handles free variables. I think it should basically recuron its upper (or lower?) bound.
Unclear how to proceed.