add cokleisliProfunctor
CoKleisliTest
EndomorphicTest