canonicity being the same as "global uniqueness of implementations"

@csmoe welcome!

@csmoe if you are familiar with the concept of proof relevance... if we consider a trait to be a proposition and an implementation of a trait for a given type to be a witness / proof of said proposition, then canonicity can be seen as proof irrelevance