I take it all Functors are runnable if you see (1) map as generalised function application and (2) functors as lifted map. The concepts, at the level of abstra

I take it all Functors are runnable if you see (1) map as generalised function application and (2) functors as lifted map. The concepts, at the level of abstraction i just use there, are confusing. Thinking this abstractly about programs actively impairs programming in many cases. This level of 'unification of syntax via abstraction' is relevant only really to language designers.