FCP: Use top level annotation instead?

[thautwarm]

I believe as when using types as documentations, top level annotations could be much more readable.
HMF implemented in this repo allows following notations:

let f = fun (f: some a. forall b. b -> a -> a) b a -> f b a

However, I wonder if this is valid is HMF:

let f: forall a. (forall b. b -> a -> a) -> 
                     forall b. b -> a -> a =
        fun g -> fun a -> fun b -> g b a

I believe annotating as the second way is more nice to have, but my re-implementation of FSP given in this repo shows that some complex top level annotations cannot pass type inference and checking.

Any workaround, or just some ideas?

[thautwarm]

Even the propagate edition cannot work out

let f: forall a. (forall b. b -> a -> a) -> 
                     forall b. b -> a -> a =
        fun g -> fun a -> fun b -> g b a