Inferred type for {{defn}} and {{typed/fn}} with the same body are different

Description

Following code passes a type check as expected:

However, if I unwrap the typed/fn, it does not pass a type check:

Environment

None
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Unassigned

Reporter

import