so invariant is seen as a "superclass" of functor
# arrow
j
so invariant is seen as a "superclass" of functor