Make trivial instances explicit
This is in preparation for coq/coq#9274.
Like the one on stdpp, this patch should be backward compatible, but that should be tested.
This is in preparation for coq/coq#9274.
Like the one on stdpp, this patch should be backward compatible, but that should be tested.