Add [a]Coyoneda[ISet, a] post

"type inference"