Add Failure-based type class instances to document why some instances can not exist #72
Description
Per #71, an attempt was made to add Bifunctor to Map. While the implementation could be written that would type-check, the issue is that implementation wouldn't maintain the Ord invariant.
To document this issue, we should add instances for such type classes where the instance depends on a Fail constraint. Then if one uses the instance, they'll get notified of the underlying issue along with the proper way to do X.
We should list all the instances (if any) that should be added in this way for each type below:
- Map
- Set
- NonEmptySet