One more type from base that is missing some instances.
I think I can see a lawful implementation for HasResolution e => UniformRange (Fixed e)
instance. Also considering that we already have instance Random Integer
we can definitely add instance HasResolution e => Random (Fixed e)