Class Graph g where
	type Vertex g
	data Edge g
	src, target :: Edge g -> Vertex g
	... so on

then you instance it like this

instance Graph Friends where
	type Vertex Friends = Friend
    data Edge Friends = LOL (Vertex Friends) (Vertex Friends)
	src = defined
	....