Thank you for your detailed answer.
I surely agree that Functor consists of two parts, you can call them “type lift”
a => F(a)and function lift
f => map(f).
Yes, that’s what I was trying to get at. Thanks for describing it so eloquently.
I love your articles and learned a…