`Endomorphic[Function1, A]`