Quiz: Astral's ty Type Checker... Note