for instance type inference with polymorphic recursion is known to be undecidable ni ho nayishyize narangije kuyica abagore ntibakoresheje kuvuga politiki muri iki gihugu