Separate deferType for undersaturated function calls
Do not forget about Divergence of thunks