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