Add [a]Coyoneda[ISet, a] post