stuck on wft typing ctx implies wft type