Define (Contra)Functor1 as a constraint limit