add hoistIxFreeT