Perhaps let parameter be constrained to another function's parameter

[Xyncgas]

let type 'a be f (x:'a) we can have f1 x = 'b() |> (f2 (p'a) (q'b))
It helps to partially apply functions that we can't today

[vzarytovskii]

If you'd like to make a suggestion, please turn it into an issue and use the template from this repository (automaticky fills in when opening the issue).