Use purescript-exists

This fixes the `Coyoneda` issue, but I get a stack overflow when I try to run the examples. I'll try to figure out why.