Heuristic result type safety