Attempt to bring return tyfam variable into scope

Differential Revision: https://phabricator.haskell.org/D202