Use Edward Kmett's linear instead of own Typeclass?

[sternenseemann]

To my understanding this would be possible and fix some name clashes for me :)

I think there could be some advantages of this approach.