jblueberry87.hashnode.dev·Jan 23, 2023Solving system-F application with metavariablesWe'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...41 readsType Inference
