core tetra: add test with higher order fn where the arg is a type function