Make LocalityMax/Min be "closed" type families in ghc 7.6 by moving the logic to an unexported type family
and have the parameters for the exported one be generic

Suggestion thanks to Adam Vogt