Redunant instances in the type families Min, Max

[SkorikGG]

It is possible that such instances as
Min x 0 = 0
are redundant, since now type Min (0-1) 0 reduce to 0.

[christiaanb]

The specific case is solved. It doesn't understand negative integers completely though, because we should only be dealing with natural numbers. That is:

test :: Proxy (Min (1-2) (0-1)) -> Proxy (3-4)
test = id

will still not compile.