Why is this not `UndefType`?