3 ms·
> You could also "layerize" the list in here Is that the answer to "how do recursion schemes handle heterogenous layers"? I'd love to learn more.
by dllthomas 8y ago
> You could also "layerize" the list in here
Is that the answer to "how do recursion schemes handle heterogenous layers"? I'd love to learn more.
- tel 8y agoThe general solution for heterogenous layers requires indexing the layers. The x type variable ends up having kind `Index -> *` for your index type Index.