we generate result types but if there are bind slots we should get types for those too!
we generate result types but if there are bind slots we should get types for those too!