Possibly a mistake that causes confusion

[NariyasuHeseri]

On page 349 (see the screenshot),
shouldn't Store f :: s -> Store f s be Store f :: s -> Store (s -> a) s?
The expression on the right-hand side of :: is a type and apparently f is a value with type s -> a.

[BartoszMilewski]

The notation might be a bit confusing. What it says is that the type of the two expressions is the same. And a lambda would make it clrearer:

Store f ~ \s -> Store f s

[NariyasuHeseri]

The notation might be a bit confusing. What it says is that the type of the two expressions is the same. And a lambda would make it clrearer:

Store f ~ \s -> Store f s

Thanks!