Use purescript-exists

This fixes the `Coyoneda` issue, but I get a stack overflow when I try to run the examples. I'm not sure if it's caused by my changes or not.