We need instances like EqDecision and Countable for it. We could redeclare those instead, though.
Attach a file by drag & drop or click to upload
