Yes, ok. I think adding another dedicated implicit argument to `apply` that let's us easily inspect the type info of `f` simplifies (and clarifies) the implementation quite a bit. Let's do it!