Haskell NB: ‘Edge’ is a non-injective type family

Question

I am trying to write my own graph library in Haskell for use in the advent of code. I am trying to use a class for graphs and one concrete implementation using Data.Ma