Subtyping from uncurried to curried functions was not working when the expected curried function was under a type definition.
This would give type errors on components that take a component type as prop.

This change does not seem strictly necessary, and it's a bit invasive.
E.g. the editor integration needs to be adapted.
But eventually, we'll want this in, as otherwise e.g. hover on the `make` would show a curried function.