I am so sorry for the delay in response.
You are right, the type of map is
(a -> b) -> Fa -> Fb
I made a mistake by omitting
() , ( ->) are right-associative by default.
Thanks my friend.
Yes, Jihad Dzikri Waspada you are absolutely right. An idiomatic Compose Function evaluates from right to left. However, the compose function I used evaluates from left to right - as we read.
I mentioned that, just after I mentioned Wadler’s Paper.