Added a missing instantiate needed to handle tvars#40

PaulKlint merged 1 commit intomainusethesource/typepal:mainfrom

fix/useViaType3usethesource/typepal:fix/useViaType3Copy head branch name to clipboard