Conjuration of dark type inference!