A 1989 theoretical paper claims typechecking is undecidable when 'type' is a type, signaling fundamental limits in typing systems rather than actionable data.