for example with `List` from the std lib and deriv...

# arrow

[raulraja]

for example with List from the std lib and derive automatically Functor, kinds etc… because of the presence of the type argument and methods like map that could provide a compatible override for the Functor main method map