it should respect the functors properties as well,...
# functional
t
it should respect the functors properties as well, so, just a more limited functor