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

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Fix versions

Affects versions

Priority

Major