error: type `NotFound` not found
  ╭▸ test/ui/type_not_found.aldrin:7:14
  │
7 │     f1 @ 1 = NotFound;
  │              ━━━━━━━━ type used here
  │
  ╰ help: did you mean `Found`?