Your comments

Looks like this one can be closed? Several examples of implementations here: https://pcf.gallery/categories#lookup