Solving system-F application with metavariables

We've all been there before. You have a function you want to call, and a variable you want to call it with, but you just don't want to manually write instantiations when all the needed info is (probably) there! Warning - This is not particularly read...